Explore >> Select a destination
|
You are here 
|
ncatlab.org | ||
| | | | |
richardzach.org
|
|
| | | | | The Zeitschrift für mathematische Logik und Grundlagen der Mathematik was one of the few logic journals around in the mid 20th century. It started publishing in 1955, I think the only logic journal... | |
| | | | |
www.logicmatters.net
|
|
| | | | | Logical notes and papers Some logical blog pieces Philosophy of maths: a reading list Does mathematics need a philosophy? Philosophical logic: five books from the back catalogue On Frege seeing what is in front of his nose. Begriffsschrift and absolutely unrestricted quantification What Frege didnt tell you Tarski on Truth, a thumbnail sketch Partial functions [] | |
| | | | |
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:... | |
| | | | |
backstreetthunder.wordpress.com
|
|
| | | Flyer. | ||
