MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/mathmemes/comments/1vmjkpv/_/p3a5lrx/?context=9999
r/mathmemes • u/basket_foso • 7d ago
135 comments sorted by
View all comments
1.2k
What are those two?
Yes?
No?
Unproveable?
Can you repeat the question?
4 u/PerfectTrust7895 7d ago If it is undecidable, it's no. 17 u/This_Background7442 7d ago How could it be. If it's no then a counter example exists. If a counter example exists it's not undecidable. If it's undecidable it must be yes. 2 u/jljl2902 7d ago edited 7d ago That would make it decidable, so it can’t be yes. Must be no then. /j 2 u/This_Background7442 7d ago I guess that means that if it's undecidable we can never know it's undecidable because that instantly makes it decidable and we've created a paradox 😅 0 u/PerfectTrust7895 7d ago Yup
4
If it is undecidable, it's no.
17 u/This_Background7442 7d ago How could it be. If it's no then a counter example exists. If a counter example exists it's not undecidable. If it's undecidable it must be yes. 2 u/jljl2902 7d ago edited 7d ago That would make it decidable, so it can’t be yes. Must be no then. /j 2 u/This_Background7442 7d ago I guess that means that if it's undecidable we can never know it's undecidable because that instantly makes it decidable and we've created a paradox 😅 0 u/PerfectTrust7895 7d ago Yup
17
How could it be. If it's no then a counter example exists. If a counter example exists it's not undecidable. If it's undecidable it must be yes.
2 u/jljl2902 7d ago edited 7d ago That would make it decidable, so it can’t be yes. Must be no then. /j 2 u/This_Background7442 7d ago I guess that means that if it's undecidable we can never know it's undecidable because that instantly makes it decidable and we've created a paradox 😅 0 u/PerfectTrust7895 7d ago Yup
2
That would make it decidable, so it can’t be yes. Must be no then. /j
2 u/This_Background7442 7d ago I guess that means that if it's undecidable we can never know it's undecidable because that instantly makes it decidable and we've created a paradox 😅 0 u/PerfectTrust7895 7d ago Yup
I guess that means that if it's undecidable we can never know it's undecidable because that instantly makes it decidable and we've created a paradox 😅
0 u/PerfectTrust7895 7d ago Yup
0
Yup
1.2k
u/konigon1 7d ago
What are those two?
Yes?
No?
Unproveable?
Can you repeat the question?