Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
meithecatte
89 days ago
|
parent
|
context
|
favorite
| on:
Determination of the fifth Busy Beaver value
No, they are
correct
, because the deciders themselves are just a cog in the proof of the overall theorem. The specification of the deciders is not part of the TCB, so to speak.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
