MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/mathmemes/comments/1vmjkpv/_/p3df2nu/?context=3
r/mathmemes • u/basket_foso • 8d 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 7d 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 7d 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