Archive
Sequences
About
Search
Log In
Questions
Events
Shortform
Alignment Forum
AF Comments
Home
Featured
All
Tags
Recent
Comments
Sniffnoy comments on
Edward Nelson claims proof of inconsistency in Peano Arithmetic
Sniffnoy
28 Sep 2011 3:57 UTC
6
points
Well, you’d certainly only need finitely many to prove inconsistency.
Back to top
Well, you’d certainly only need finitely many to prove inconsistency.