|
You are here |
intellectualmathematics.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 ... | |
| | | | |
rjlipton.com
|
|
| | | | | How to convince someone your proof is really a proof Roger Apéry was a mathematician who solved a beautiful problem that had been open for hundreds of years. He was not an amateur in any sense, but because his result was so surprising there was initial doubt about its correctness. Even professional mathematicians have some... | |
| | | | |
njwildberger.com
|
|
| | | | | Modern mathematics is enormously complicated and sophisticated. It takes some courage, and perhaps some foolishness, to dare to suggest that behind the fancy theories lie serious logical gaps, and indeed error. But this is the unfortunate reality. Around the corner, however, is a new and more beautiful mathematics, a more honest mathematics, in which everything... | |
| | | | |
dismalsci.wordpress.com
|
|
| | | As an experiment, I have recently started using Vim as my primary text editor. While I have been an Emacs aficionado for a very, very long time - clocking in at almost 16 years - Vim is something that I have always been curious about, and tinkered with from time to time, while ending up... | ||