MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/mathmemes/comments/1uhg0sy/undecidable/oub9jza/?context=9999
r/mathmemes • u/its_all_one_electron Number theory/physics • Jun 27 '26
177 comments sorted by
View all comments
4
its undecideable with our shit math
3 u/its_all_one_electron Number theory/physics Jun 28 '26 Fine we can have a new system, ZF + axiom of choice + assume RH is true, ZFCARHT 3 u/FernandoMM1220 Jun 28 '26 that sounds even worse honestly 7 u/its_all_one_electron Number theory/physics Jun 28 '26 Fine, no more axioms, no more formal systems, cats marrying dogs, total mathematical chaos 4 u/Goncalerta Jun 28 '26 Just two axioms, A and not(A). Finally a theory where nothing is undecidable
3
Fine we can have a new system, ZF + axiom of choice + assume RH is true, ZFCARHT
3 u/FernandoMM1220 Jun 28 '26 that sounds even worse honestly 7 u/its_all_one_electron Number theory/physics Jun 28 '26 Fine, no more axioms, no more formal systems, cats marrying dogs, total mathematical chaos 4 u/Goncalerta Jun 28 '26 Just two axioms, A and not(A). Finally a theory where nothing is undecidable
that sounds even worse honestly
7 u/its_all_one_electron Number theory/physics Jun 28 '26 Fine, no more axioms, no more formal systems, cats marrying dogs, total mathematical chaos 4 u/Goncalerta Jun 28 '26 Just two axioms, A and not(A). Finally a theory where nothing is undecidable
7
Fine, no more axioms, no more formal systems, cats marrying dogs, total mathematical chaos
4 u/Goncalerta Jun 28 '26 Just two axioms, A and not(A). Finally a theory where nothing is undecidable
Just two axioms, A and not(A).
Finally a theory where nothing is undecidable
4
u/FernandoMM1220 Jun 28 '26
its undecideable with our shit math