/explore
|
You are here 
|
mycqstate.wordpress.com | ||
| | | | |
jdh.hamkins.org
This will be a series of lectures on the philosophy of mathematics, given at Oxford University, Michaelmas term 2018. The lectures are mainly intended for undergraduate students preparing for exam ... |
|
| | | | | ||
| | | | |
www.quantamagazine.org
Number theorist Andrew Granville on what mathematics really is - and why objectivity is never quite within reach. |
|
| | | | | ||
| | | | |
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 ... |
|
| | | | | ||
| | | | |
thehousecarpenter.wordpress.com
NB: I've opted to just get straight to the point with this post rather than attempting to introduce the subject first, so it may be of little interest to readers who aren't already interested in proving the completeness theorem for propositional logic. A PDF version of this document is available here. The key thing I... |
|
| | | |||
