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 ... | |
| | | | |
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... | |
| | | | |
rjlipton.com
|
|
| | | | | A new way to write mathematics Vladimir Voevodsky won the Fields Medal in 2002 for his work on homotopy theory of algebraic varieties. Using his pioneering methods he proved, among many other things, a deep conjecture of John Milnor, that had been open for decades. Today I want to talk about, no, rant about, a... | |
| | | | |
blog.computationalcomplexity.org
|
|
| | | In my post about the myth that Logicians are crazy I mentioned in passing that Whitehead and Russell spend 300 pages proving 1+1=2 (but we... | ||
