Comment

Comment by equanimitivity

I used to think similarly, but learning about the proven incompleteness of sufficiently rigorous analytic systems has moved me towards appreciating less rigorous ways of interfacing with reality.

Veritasium has a nice video on Godel’s incompleteness theorem. It’s quite ironic that it was mathematically provable that analytic systems can never be complete, and can’t be provably coherent.

https://m.youtube.com/watch?v=HeQX2HjkcNo&pp=ygUUdmVyaXRhc2l...

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton