Fortschritt mit Orangen und Computern, Der Standard, 13.12.2004pdf link orangen

Mit dem ersten Computerbeweis wurde 1976 ein neues Zeitalter des mathematischen Beweisens eingeläutet. Das Für und Wider wird bis heute unter Wissenschaftlern heftig diskutiert. Doch die Automatisierung…