How (not) to prove consistency
UC Irvine Logic Colloquium
Gödel's second incompleteness theorem, unprovability of consistency
Logic and Foundations | Logic and Foundations of Mathematics | Philosophy
Bernd Buldt (2015).
How (not) to prove consistency. Presented at UC Irvine Logic Colloquium, Irvine, CA.
This document is currently not available here.