3 ms·
An algorithm has limits that humans don't, as Godel's incompleteness theorems prove. The study of mathematics is communicating some deep logic, but it doesn't
by jamez1 10y ago
An algorithm has limits that humans don't, as Godel's incompleteness theorems prove.
The study of mathematics is communicating some deep logic, but it doesn't end there as you trivialize. It's not just some poetry that we memorize, but it's a new insight to the nature of everything.
- mroll 10y agoGodels incompleteness theorem says that no formal system can prove or contain all truthy theorems. It says nothing about humans being immune to this effect, which it seems to me your comment is implying