On Godel's Second Incompleteness Theorem
I never understood what’s the deal with for Godel’s Second Incompleteness theorem in logic.
The consistency of a theory cannot be proved within the theory itself.
Duh! Did anyone thought that it could?
Written on July 9, 2023