Why would Gödel's completeness theorem imply that?
List of mind independent truths: 1. Mathematical truths. 2. Logical truths. 3. Truths about what is or isn't a mind independent truth.
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Ever heard about intuitionism?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
4. Trump tweets.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Nothing is independent when you're an ontological idealiast.
#BerkeleyFTWThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
HAHAHAHA true
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I was trying to be clever by "assuming"(pretending) you meant his completeness theorem rather than his incompleteness theorems.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
:O
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
This Tweet is unavailable.
-
-
Maths exists in the papers, books & minds of mathematicians. So if all those were captured by a black hole maths would cease to be.
-
So maths truths (1st order logic is a subset of maths) can be independent of some papers, books & mathematicians, but not of all.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.