Archive
Sequences
About
Search
Log In
Questions
Events
Shortform
Alignment Forum
AF Comments
Home
Featured
All
Tags
Recent
Comments
Algon comments on
Does decidability of a theory imply completeness of the theory?
Algon
30 Jul 2023 15:25 UTC
2
points
0
Based off that passage, I don’t see Rafael Harth’s argument works either.
Back to top
Based off that passage, I don’t see Rafael Harth’s argument works either.