/explore
|
You are here 
|
lawrencecpaulson.github.io | ||
| | | | |
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] A technical discussion distinguishing between proof by contradiction and proof of negation within the context of classical and intuitionistic logic. |
|
| | | | | ||
| | | | |
www.realtimerendering.com
|
|
| | | |||
