/explore
|
You are here 
|
cornellmath.wordpress.com | ||
| | | | |
math.andrej.com
[AI summary] The discussion revolves around the philosophical and methodological pluralism in mathematics, emphasizing that mathematics is a human-made construct with historical developments rather than an absolute, universal truth. Key points include the idea that different mathematical frameworks (e.g., classical vs. intuitionistic logic, paraconsistent logic) represent distinct 'worlds' of mathematics, each with its own standards and validity. The conversation highlights the importance of acknowledging these pluralistic perspectives without assuming a single, unifying foundation. It also touches on the role of context, the evolution of mathematical concepts, and the implications of relativism for the future of mathematics. The discussion underscores that ... |
|
| | | | | ||
| | | | |
4gravitons.com
Merging quantum mechanics and gravity is a famously hard physics problem. Explaining why merging quantum mechanics and gravity is hard is, in turn, a very hard science communication problem. The more popular descriptions tend to lead to misunderstandings, and I've posted many times over the years to chip away at those misunderstandings. Merging quantum mechanics... |
|
| | | | | ||
| | | | |
scottaaronson.blog
In Michael Sipser's Introduction to the Theory of Computation textbook, he has one Platonically perfect homework exercise, so perfect that I can reconstruct it from memory despite not having opened the book for over a decade. It goes like this: Let f:{0,1}*?{0,1} be the constant 1 function if God exists, or the constant 0 function... |
|
| | | | | ||
| | | | |
thehighergeometer.wordpress.com
Here's a fun thing: if you want to generate a random finite $latex T_0$ space, instead select a random subset from $latex \mathbb{S}^n$, the $latex n$-fold power of the Sierpinski space $latex \mathbb{S}$, since every $latex T_0$ space embeds into some (arbitrary) product of copies of the Sierpinski space. (Recall that $latex \mathbb{S}$ has underlying... |
|
| | | |||
