3 ms·
> 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'
by VirusNewbie 5y ago
> 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?
- deleted 5y ago[deleted]
- uoaei 5y ago...are you?
- VirusNewbie 5y agoVery much so.
- uoaei 5y agoSo lording esoteric knowledge over the anonymous rabble is more productive than just explaining what is the issue?
- VirusNewbie 5y agook fair enough. There is no issue with proving arithmetic consistency on a finite number of symbols. Incompleteness entirely relies on the unbounded induction step.