Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
tgv
on April 12, 2020
|
parent
|
context
|
favorite
| on:
Surprisingly Turing-Complete
Perhaps he means that you could somehow abuse the induction axiom, although it seems to me that would be in a way that's not what the axiom was meant for.
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: