4 ms·Let us move to Algorithmic, Inductive, Experimental, approach to mathematics2 points by nyc111 3y agonyc111 3y agoMain page of his opinions https://news.ycombinator.com/item?id=39056900 https://news.ycombinator.com/item?id=39056900