principia mathematica
-
1+1'in 2 ettiğinin ispatının bulunduğu 3 ciltlik kitaptır
-
russel ve whitehead'ın yazdığı eserin en önemli savı matematik gibi karmaşık bir sistemin bütün teoremlerinin mantık kuralları* dahilinde oluşturulabileceği hatta daha da ötesi geçerli olup olmadıklarına karar verilebileceğidir. halbukü russel ve whitehead'ın bu çabası beyhudedir daha sonradan kurt gödel'in kanıtlayacağı üzere mantık ve matemetik gibi aksiyomatik sistemler hiç bir zaman tam değillerdir, yani mantık syntax'ı dahilinde oluşturulabilen dizilerin en az birinin teorem olup olmadığına sistem içinde karar verilemez. bu da tekrar bizi russel ve whitehead'ın matematiği kurtarmaya çalıştığı rekursif paradokslara geri getirir.
(bkz: russell paradoksu)
(bkz: incompleteness theorem)
gödel ve teorisi ve ilgili bir çok şey hakkında daha fazla bilgi için (bkz: gödel escher bach) -
buyuk bir eserdir, dunyada okuyanlar sayilidir. bir iki sayfasinin gorulmesi bile "oha" demek icin yeterli sebeptir.
-
(bkz: bunu dokuyan çocuk kör oldu)
-
(bkz: principia)
-
-
türkçeye çevirmeye kimsenin cesaret edemediği dev matematigi mantığa indirgeme projesi. dünya tarihinde yazılmış en önemli eserlerden biri. ilginç bir şekilde tam aksi bir yönde yer alan hilbert programına dahi ilham kaynağı olmuştur.
-
gödelciğimin 1933 de `über die unentsheidbare saetze der principia mathematica und verwander systeme` kitabıyla göt ettiği ve kıçıyla güldüğü eser.
-
aristoteles'in organon'undan sonra mantık alanında yazılmış en önemli eser olarak görülür. matematiğin mantıksallığa indirgenebileceğini savunur. neyse efendim daha bugün 2013 tarihli bir istatistik dergisinde hakkında birkaç şey gördüm. gecenin yarısı bu başlığı görünce ne oluyor lan dememe sebebiyet verdi. (internette falan aratmadım. 4 yıl önce basılmış bir dergide okudum sadece)
tamam gödel haklı ama ağır konuşmuş şimdi sonuçta senden de büyük turing var. -
matematiğin kendi başına bir dil olduğunu kanıtlayan, içinde tek bir kelime kullanılmamış, sadece matematikçe yazılmış, matematiğin temeli kabul gören eser.
ekşi sözlük kullanıcılarıyla mesajlaşmak ve yazdıkları entry'leri
takip etmek için giriş yapmalısın.
hesabın var mı? giriş yap