28 ms·
Is there a cite for that? (About true in all models implies provable?). This post is the first I have heard that but it seems very significant.
by lanstin 3y ago
Is there a cite for that? (About true in all models implies provable?). This post is the first I have heard that but it seems very significant.
- symple 3y agoIt’s the Completeness Theorem.
- magneticnorth 3y agoGodel's completeness theorem https://en.wikipedia.org/wiki/G%C3%B6del%27s_completeness_theorem https://en.wikipedia.org/wiki/G%C3%B6del%27s_completeness_th... (Not to be confused with Godel's incompleteness theorems)
- lanstin 3y agoWow.