|
|
|
|
|
|
by Epa095
25 days ago
|
|
|
I don't understand what you mean by this. Gödels two incompleteness theorems are about theories of natural numbers, so their models are infinite. I don't understand what you could mean by them applying to finite models. I stand by my claim. The key point of Gödels incompleteness is NOT that no single theory can pin down a single model, that was known before. |
|
|