Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
VirusNewbie
on April 7, 2022
|
parent
|
context
|
favorite
| on:
The physicalization of metamathematics and the imp...
> From that comes arithmetic, the “most elementary” form of mathematics which cannot be proved consistent…
This is kind of wrong. Are you familiar with Godel's thoughts on this?
uoaei
on April 7, 2022
|
prev
[–]
...are you?
VirusNewbie
on April 7, 2022
|
parent
[–]
Very much so.
uoaei
on April 7, 2022
|
root
|
parent
[–]
So lording esoteric knowledge over the anonymous rabble is more productive than just explaining what is the issue?
VirusNewbie
on April 7, 2022
|
root
|
parent
[–]
ok fair enough. There is no issue with proving arithmetic consistency on a finite number of symbols. Incompleteness entirely relies on the unbounded induction step.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
This is kind of wrong. Are you familiar with Godel's thoughts on this?