Explore >> Select a destination
|
You are here 
|
intellectualmathematics.com | ||
| | | | |
www.quantamagazine.org
|
|
| | | | | Number theorist Andrew Granville on what mathematics really is - and why objectivity is never quite within reach. | |
| | | | |
mycqstate.wordpress.com
|
|
| | | | | This post is a follow-up on some somewhat off-hand comments that I made earlier regarding the notion of truth in a "proof-based" discipline such as pure mathematics or theoretical computer science. Since the former is easier to circumscribe and also has a larger literature available on it, for the purposes of the post I will... | |
| | | | |
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 ... | |
| | | | |
blog.trailofbits.com
|
|
| | | Here at Trail of Bits we review a lot of code. From major open source projects to exciting new proprietary software, we've seen it all. But one common denominator in all of these systems is that for some inexplicable reason people still seem to think RSA is a good cryptosystem to use. Let me save [...] | ||
