Explore >> Select a destination
|
You are here 
|
mnielsen.github.io | ||
| | | | |
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 ... | |
| | | | |
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... | |
| | | | |
juliawolffenotes.home.blog
|
|
| | | | | I was reading Dominic Cummings' blog post On the referendum #33: high performance government, 'cognitive technologies', Michael Nielsen, Bret Victor, & 'Seeing Rooms', and at one point he references a nice passage by Nielsen that immediately reminded me of Bill Thurston's experience trying to communicate his ways of thinking in his seminal retrospective On proof... | |
| | | | |
tuuli.brightthemes.com
|
|
| | | Colors Brand Success Error Warning Bg color Bg accent Border color Text color Text accent Text grey Headings All HTML headings, through , are available. Heading 2 example Heading 3 example Heading 4 example Heading 5 example Heading 6 example List Types Ordered List An unordered list starts with the tag. | ||
