Skip to content

25-state Turing machine

Latest
Compare
Choose a tag to compare
@lengyijun lengyijun released this 13 Jan 02:40

Verify a 25-state Turing machine halts if, and only if, Goldbach's conjecture is false.