Hacker News new | ask | show | jobs
by varjag 5683 days ago
All of the fields you mentioned get by mostly with modes of mathematic proof introduced by Greeks. In that sense there wasn't much new since Pythagoras until the infamous proof of map coloring theorem recently.