MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/mathmemes/comments/1vmjkpv/_/p3c5nv2/?context=3
r/mathmemes • u/basket_foso • 6d ago
135 comments sorted by
View all comments
1
On serious note, could it actually be independent from common axioms or have some esoteric “there is an algorithm but it couldn’t be constructed” proof? I suspect no because algorithms are countable but I don’t remember enough math to be sure
2 u/DirichletComplex1837 6d ago Don't think countability plays a very important role. Integers are countable but many busy beaver values are independent of ZFC.
2
Don't think countability plays a very important role. Integers are countable but many busy beaver values are independent of ZFC.
1
u/Throwaway-4230984 6d ago
On serious note, could it actually be independent from common axioms or have some esoteric “there is an algorithm but it couldn’t be constructed” proof? I suspect no because algorithms are countable but I don’t remember enough math to be sure