When is a computer proof a proof?Machine Logic At the junction of computation, logic and mathematics 09 Aug 2023 [ philosophy Imre Lakatos ] In 1976, Appel and Haken caused delight mixed with consternation by proving the celebrated four colour theorem, but with heavy reliance on a computer calculation. An assembly language program was used to check 1936 “reducible configurations”; people were rightly concerned about errors in the
