Hacker News new | ask | show | jobs
by jojogeo 18 days ago
Thank you internet stranger, for introducing me to hard-maths drugs; am hooked!! \o/

I love the idea of this. So the BB problems are individual iterations of the halting problem right? To truly solve the problem one would have to come up with a program which would operate on all possible BB numbers?