4 ms·
Attempts to prove BB(5) would have begun long before theorem provers were around. This BB was discovered in 1990, and all machines of size 5 would have been enu
by nwallin 2y ago
Attempts to prove BB(5) would have begun long before theorem provers were around. This BB was discovered in 1990, and all machines of size 5 would have been enumerated not long after.
- lupire 2y agoEnumerating machines is trivial. Understanding and analyzing their behavior is hard.