4 ms·
The comment could be interpreted as meaning that such systems cannot be complete or consistent, I'm just pointing out they can be one or the other. As I underst
by simonh 3y ago
The comment could be interpreted as meaning that such systems cannot be complete or consistent, I'm just pointing out they can be one or the other. As I understand it, it is possible to consistently prove and decide things in mathematics, just not everything. Godel proved limits to mathematics, not that mathematics doesn't work. That's all.
- trabant00 3y ago> Godel proved limits to mathematics, not that mathematics doesn't work Nobody claimed it doesn't work. It clearly does. The question is if it's a fundamental property of the universe or just an useful but flowed human mental model.
- simonh 3y agoSure, personally I see it as a language for expressing relationships and processes. I expounded on this in detail in another comment.