/explore
|
You are here 
|
mml-book.com | ||
| | | | |
richardzach.org
Paolo Mancosu, Sergio Galvan, and Richard Zach. An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs. Oxford: Oxford University Press, 2021. DOI: 10.1093/oso/9780... |
|
| | | | | ||
| | | | |
www.duckofminerva.com
A discussion with Nina Kollars and Mark Raymond about the SolarWinds hack, recorded in March, 2021 |
|
| | | | | ||
| | | | |
inquiryintoinquiry.com
Introduction The praeclarum theorema, or splendid theorem, is a theorem of propositional calculus noted and named by G.W.Leibniz, who stated and proved it in the following manner. If a is b and d is c, then ad will be bc. This is a fine theorem, which is proved in this way: a is b, therefore... |
|
| | | | | ||
| | | | |
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 ... |
|
| | | |||
