Skip to content

Commit

Permalink
readme
Browse files Browse the repository at this point in the history
  • Loading branch information
lengyijun committed Oct 17, 2024
1 parent 60b2822 commit d1e32e0
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -19,3 +19,8 @@ lake exe sim27
lake exe sim31
```

## Inspiration

[wiki](https://en.wikipedia.org/wiki/Busy_beaver) say

> A 43-state Turing machine has been constructed that halts if, and only if, Goldbach's conjecture is false, and a 27-state machine for that conjecture has been proposed but not yet verified.

0 comments on commit d1e32e0

Please sign in to comment.