The consistent theories that assert their own inconsistency.
-
-
Replying to @ModelOfTheory
consistent theories that assert their own consistency
1 reply 1 retweet 0 likes -
Replying to @FateOfTwist_ @ModelOfTheory
There are no such, in ordinary senses of the terms, by Goedel's Second Incompleteness Theorem.
1 reply 0 retweets 0 likes -
Replying to @RadishHarmers @ModelOfTheory
Not true, actually. Godel's 2nd has a lot of hypotheses, and there is one that you can change to make it false
2 replies 0 retweets 0 likes -
Replying to @FateOfTwist_ @RadishHarmers
I was directed to https://en.wikipedia.org/wiki/Self-verifying_theories … when I brought up that objection but I haven't looked into details
1 reply 0 retweets 0 likes -
Replying to @ModelOfTheory @RadishHarmers
it's powerful enough to talk about its provability, but not enough to do diagonalization and liar sentence
1 reply 0 retweets 0 likes -
Replying to @FateOfTwist_ @ModelOfTheory
"ordinary sense" for me meant theories of syntax with such basic expressivity as used in diagonalization.
1 reply 0 retweets 0 likes -
Replying to @RadishHarmers @ModelOfTheory
and that's how I know that you don't know very much logic
3 replies 0 retweets 0 likes
1. There's no need to be an ass. 2. @RadishHarmers's remarks don't even indicate a lack of knowledge of logic.
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.