idea
The conditions a system must meet for Gödel’s theorems to apply
The theorem is conditional. It needs rules that a computer can check, enough arithmetic (addition and multiplication together), and consistency. It says nothing about systems that fail these.
Every use of the theorem outside mathematics has to show that its system meets all three.
Connects to
- second theorem
- checkable or not
- the threshold
- fixed means checkable
- what a system is
- the triangle
- a test for claims