gödel'in yan çizmesi ^*

• 1951'de amerikan matematik derneğinde verdiği bir konferansta gödel şöyle demiş: "insan aklı bütün matematiksel sezgileri formüle etmeye(veya harekete geçirmeye) yeterli değildir, eğer bazılarını formüle etmeyi başarmışsa, bu olgunun kendisi yeni sezgisel bilgiye yol açar örneğin bu formalizmin tutarlılığı. bu olguya matematiğin tamamlanamazlığı denebilir. öte yandan, şimdiye kadar ispatlanılabilenleri temel alarak, matematiksel sezgiye eşdeğer olan ama böyle olduğunun ispatlanması olanaksız olan, sonlu sayılar teorisi için, sadece doğru teoremleri ürettiği bile ispatlanamayan bir teorem-ispat makinesinin var olabilmesi(ve hatta deneysel olarak keşfedilebilmesi) hala mümkün görünüyor."
• baska bir deyisle godelin imana gelmesi.
• bilmiyorum benim kuruntum mu ama bu sözleri godel'in materyalist oldugunu düşündürtüyor bana. (bu iyi bir şey)
  
  özetle adam diyor ki "evet matematik tamamlanamazdır, lakin insan aklı ne kadar tamamlayabiliyorsa günün birinde icad edilecek bir bir makinenin de o kadar tamamlayabileceğine inanmamak için bir sebep göremiyorum."
  bu haliyle buna yan çizme değil tamı tamına imana gelme denir. bilmem bana göre dememin gereği var mı.
  
  (bkz: beyin vs bilgisayar/15)
  
  bu bkz'ı vermek için benim ilgili başlığı açıp başlığın adını kopyalayacağım yerde 15'i kopyalamış olmam da bilgisayarlar adına halen daha güçlü bir umut olduğunun kanıtı olabilir.
• yanlis bir onermedir bu. "gizli ajanlar beni zehirlemeye calisiyorlar, karimdan baskasinin yemegini yemem" deyip karisi yemek yapamayacak kadar hastalandiginda acliktan olen bir insandan bahsediyoruz burada. amerikan vatandasligi alirken einstein'in tum israrlarina ragmen hakime amerika'ya diktatorlugun nasil yasal olarak getirilebilecegini kesfettigini anlatmis bir kisiden bahsediyoruz.
• (bkz: kurt gödel)