←back to thread

BusyBeaver(6) Is Quite Large

(scottaaronson.blog)
272 points bdr | 1 comments | 28 Jun 25 16:53 UTC | HN request time: 0.21s | source
Show context
phs ◴[28 Jun 25 19:32 UTC] No.44407483[source]▶
So what is the richest logic whose proofs can be enumerated with only a five state TM?
replies(2): >>44407624 #>>44410048 #
1. tromp ◴[28 Jun 25 19:52 UTC] No.44407624[source]▶
That entirely depends on how you want to interpret a finite binary string as an enumeration of logic proofs?!