/explore
|
You are here 
|
inquiryintoinquiry.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... |
|
| | | | | ||
| | | | |
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... |
|
| | | | | ||
| | | | |
divisbyzero.com
In my next real analysis lecture, we'll be discussing the Bolzano-Weierstrass theorem. (It says that any bounded sequence of real numbers contains a convergent subsequence.) I'll be showing my class this video in which Steve Sawin(AKA Slim Dorky) raps the complete proof of the theorem. https://www.youtube.com/watch?v=dfO18klwKHg You can read the lyrics here. He has some... |
|
| | | | | ||
| | | | |
4uinews.wordpress.com
1978 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?... |
|
| | | |||
