(#4664562) Kurt Godelin "benim ispatım bu sistemde yoktur" önermesini zamanın matematik sistemiyle ispatladığı andır.
Alan Turing işi daha da ileri götürüp "bilgisayarlarla hesaplanamayacak işlemlerin" olduğunu ve bir işlemin "bilgisayarlarla hesaplanamayacak işlemler"den olup olmadığını bulmanın da bu tarz bir işlem olduğunu ispatlar.
Alakasız olacak ama sonsuzluk nediri bulan "Contour" delirmiş, bilgisayarı yapan "Newman" da benzer bir acı sona kavuşmuştur. Matematiği ve hendeseyi çok kurcalamamak gereklidir. Başkasına anlatamazsınız çünkü özünde keramettir.
