My intuition felt it was important that I understand Löb’s theorem. Because that’s how formal logic systems decide to trust themselves, despite not being able to fully prove themselves to be valid (due to Gödel’s incompleteness theorem). Which applies to my own mind as well. This has always been true. But now I know. Updated on this.
My intuition felt it was important that I understand Löb’s theorem. Because that’s how formal logic systems decide to trust themselves, despite not being able to fully prove themselves to be valid (due to Gödel’s incompleteness theorem). Which applies to my own mind as well.
This has always been true. But now I know. Updated on this.