writings on math, logic, philosophy and art

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

More on science

More on cs

More on mathematics

Subscribe for updates

Powered by Buttondown.

Support the site