‹ BackHN Continuity

Thread

If math is more than proof, we need to better celebrate the rest of it

433 points · 285 comments · num42

  1. trhway · · focus · HN ↗
    It starts to sound like medieval science - "understanding" instead of proofs. And like a medieval army loosing a battle in the open field tries to retreat back into the fortress, people, facing the prospects of machine doing intelligent tasks better than humans, start to retreat into areas like intuition which supposedly aren't reachable by the machine. Some go even further starting to talk about religion. It is very Hegelian that the crown jewel achievement of our civilization starts to drive people away from the foundational principles of that civilization.
    1. QuesnayJr · · focus · HN ↗
      Understanding has been the point of mathematics for millenia. The idea that purpose of math is to produce machine-checkable proofs is an entirely modern idea.
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.