X · @teortaxesTex
· X / Twitter
Interesting point
Interesting pointBartosz Naskręcki: A well established terminology is to declare which Busy Beaver you are able to compute. If you manage to compute BB(27), it means you were able to solve Goldbach conjecture. Halting problems are among the hardest challenges in the universe.