kurt gödel  

mantıkçı, matematikçi ve matematik felsefecisi.
ilgi odağı olan ve de oldukça tartışılan gödel'in eksiklik teoremi (gödel's incompleteness theorem) ile tanınır.
küçük yaşlarda bile her şeyi sorguladığı için aile içinde "bay niçin" olarak çağrılırmış.

1978 yılında kendi kendisini açlığa mahkum ederek hayatını kaybetmiştir. birtakım insanların onu zehirlemeye çalıştığına inanıyordu ve bu nedenle hiç bir yiyeceğe el sürmeyerek sonunda açlıktan öldü. gödel konusunda anlatılan bir öyküye göre: gödel'in orada bulunmadığı bir sırada onu ziyarete gelen bir meslektaşı bir süre onun odasında beklemiş, giderken de masasında bir not bırakmıştı. notta gödeli göremediği için üzgün olduğunu ve ileride kendisini daha yakından tanımak fırsatını elde etmeyi umduğunu belirtiyordu. bir süre sonra posta kutusunda gödel'den gelen bir zarf buldu. zarfın içinde sadece kendi yazmış olduğu not bulunuyordu ve "ileride sizi daha yakından tanımak fırsatını elde etmeyi umuyorum" cümlesinin altı çizilerek kenarına kurşun kalemle "tam olarak ne demek istiyorsunuz?" yazılmıştı.

rivayetlere göre amerikan vatandaşlığı başvurusu için yaptığı bir sınav hazırlığı esnasında amerikan anayasasını incelerken sistemde bir açık olduğunu ve tamamen kurallara uygun olarak sistemin bir diktatörlüğe dönebileceğini farketmiş. vatandaşlık başvurusu sırasında görevliye bu derdini anlatmaya çalışırken yanında ona şahitlik yapan einstein ve diğer bir arkadaşı tarafından (işi karıştırıp da sınavda kalmasın diye) susturulmuş.

bu açığın ne olduğu konusunda doğal olarak benim bir fikrim yok. ama bu konu üstünde çalışanlar olmuş. şu sayfa ilgi çekici:

http://www.telecomtally.com/...

her şeyi kanıtlayamayacağımızı kanıtlamış olan matematikçi.

ortaya koyduğu teorik evrende bir ışık demetine binip geçmişe yolculuk yapmak mümkündür

dağ einsteinidir. einstein'in karda yürürken kart kurt sesi çıkartmasıyla oluşmuştur.

ben söylemiyorum bunu, bilim söylüyor.

modal logic için psikopata bağlayan proof systemleri vardır. büyük adam.

ismi ile müsemma, bertrand russel'ı da göd etmişliği vardır. ulan sen tut, koskoca kitabı yaz, uğraş didin, whitehead'ın yazdığı bölümleri okuma, sonra zibidinin biri gelsin, "hacı sen baştan yanlış yaptın" desin. evlat acısı gibi koyar yemin ederim.

(bkz: principia mathematica)

edit: ha bir de, (bkz: eksiklik teoremi)