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.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: