Hacker News new | ask | show | jobs
by lanstin 906 days 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.
2 comments
magneticnorth 906 days ago
Godel's completeness theorem https://en.wikipedia.org/wiki/G%C3%B6del%27s_completeness_th...

(Not to be confused with Godel's incompleteness theorems)

link
lanstin 903 days ago
Wow.
link
symple 906 days ago
It’s the Completeness Theorem.
link