Appel ve Haken bize geleceğe ilişkin çok kısa bir bakış sunuyorlar: Derin teoremleri kanıtlamak için, izlenmesi olanaksız bilgisayarların milyonlarca özel hali rutin olarak sınamasına bel bağlayan bir gelecek. ...bu, zarafetten yoksun, çarpık bir matematik olur. Doğruluk böyle bir dünyada yaşamayı seçebilir; ancak güzellik bunu istemez. Orada matematiğin sanatsal yönü, Prospero'nun ruhları gibi uçup gider. Öyle bir "cesur yeni dünya" da sihirbazlar parmaklarını şıkırdatırlar, matematikçiler de şair olmaktan çıkıp marangozluk yaparlar.
·
6 görüntüleme
Yorum yapabilmeniz için giriş yapmanız gerekmektedir.