MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 2 edited body

There is a 5-state, 2-sumbol 2-symbol Turing machine for which it is not known whether it halts. See http://en.wikipedia.org/wiki/Busy_beaver.
show/hide this revision's text 1

There is a 5-state, 2-sumbol Turing machine for which it is not known whether it halts. See http://en.wikipedia.org/wiki/Busy_beaver.