Explore >> Select a destination
|
You are here 
|
neilmadden.blog | ||
| | | | |
jdh.hamkins.org
|
|
| | | | | This will be a series of self-contained lectures on the philosophy of mathematics, given at Oxford University in Michaelmas term 2019. We will be meeting in the Radcliffe Humanities Lecture Room at | |
| | | | |
xorshammer.com
|
|
| | | | | We think of a proof as being non-constructive if it proves "There exists an $latex x$ such that $latex P(x)$ without ever actually exhibiting such an $latex x$. If you want to form a system of mathematics where all proofs are constructive, one thing you can do is remove the principle of proof by contradiction:... | |
| | | | |
dvt.name
|
|
| | | | | Gödel's incompleteness theorems have been hailed as "the greatest mathematical discoveries of the 20th century" - indeed, the theorems apply not only to mathematics, but all formal systems and have deep implications for science, logic, computer science, philosophy, and so on. In this post, I'll give a simple but rigorous sketch of Gödel's First Incompleteness ... | |
| | | | |
jdh.hamkins.org
|
|
| | | Survey of Logic for Philosophers PHIL 76500 CUNY Graduate Center Program in Philosophy Spring semester 2016 4 credits Weds. 11:45-1:45 Room 5417 This seminar will be a graduate-level survey | ||
