Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
pvg
on Oct 18, 2022
|
parent
|
context
|
favorite
| on:
Gödel’s first incompleteness theorem – an interact...
I don't think any of these are true (that this particular argument constitutes or delves into pedantry, what 'natural language' is, etc) but we've probably extracted what pedantifun was to be had already.
Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: