Godel's proof

Godel's proof

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Nagel, Ernest 1901-1985, Newman, James R. (James Roy), 1907-1966 (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	New York : University Press, 1958.
Θέματα:	Gödel's theorem.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Το θεώρημα Godel
από: Nagel, Ernest 1901-1985, κ.ά.
Δημοσίευση: (1991)

Godel's incompleteness theorems
από: Smullyan, Raymond M.
Δημοσίευση: (1992)

Godel's Theorem in Focus
Δημοσίευση: (1991)

Για το θεώρημα μη πληρότητας του Godel
από: Uspenskii, V. A. (Vladimir Andreevich)
Δημοσίευση: (1998)

Το θεώρημα μη πληρότητας του Godel
από: Κολιώνης, Γιώργος - Λεωνίδας
Δημοσίευση: (2015)

Το θεώρημα μη πληρότητας του Godel :
από: Κολιώνης, Γεώργιος
Δημοσίευση: (2005)

Απο την παράνοια στους αλγόριθμους :
από: Δοξιάδης, Απόστολος Κ., 1953-
Δημοσίευση: (2006)

A decision method for elemantary algebra and goemetry
από: Tarski, Alfred
Δημοσίευση: (1951)

Αιχμάλωτος των μαθηματικών :
από: Goldstein, Rebecca, 1950-
Δημοσίευση: (2006)

Σκιές του νου
από: Penrose, Roger
Δημοσίευση: (1994)

Shadows of the mind :
από: Penrose, Roger
Δημοσίευση: (1994)

Το Λήμμα του Koenig και η σχέση του με το θεώρημα της πληρότητας
από: Λάτσιου, Αικατερίνα
Δημοσίευση: (2015)

The undecidable :
Δημοσίευση: (1965)

Proof in VDM: :
Δημοσίευση: (1998)

A logical journey :
από: Wang, Hao, 1921-
Δημοσίευση: (1996)

Der Pythagoreische lehrsatz :
από: Lietzmann, Walther, 1880-1959
Δημοσίευση: (1966)

Ένας κόσμος δίχως χρόνο :
από: Yourgrau, Palle
Δημοσίευση: (2005)

Les trois étapes du problème pythagore-fermat :
από: Maroger, Alphonse Louis
Δημοσίευση: (1951)

Η σχέσις φ(ν)=2ˆν+1 :
από: Παπαδάκης, Κωνσταντίνος Νικ
Δημοσίευση: (1990)

Reciprocity laws :
από: Lemmermeyer, Franz 1962-
Δημοσίευση: (2000)

Pythagorean triangles
από: Sierpinski, Waclaw, 1882-1969
Δημοσίευση: (1962)

Θεώρημα Fermat :
από: Παπαδάκης, Κωνσταντίνος Νικ
Δημοσίευση: (1990)

Mechanical geometry theorem proving
από: Chou, Shang-Ching 1942-
Δημοσίευση: (1988)

Deduction systems
από: Socher-Ambrosius, Rolf
Δημοσίευση: (1997)

The fundamental theorem of algebra
από: Fine, Benjamin 1948-
Δημοσίευση: (1997)

Gems of theoretical computer science
από: Schoning, Uwe 1955-
Δημοσίευση: (1998)

Fermat's last theorem for amateurs
από: Ribenboim, Paulo
Δημοσίευση: (1999)

Theoreme de fermat ; Elements supplementaires :
από: Παπαδάκης, Κωνσταντίνος Νικ
Δημοσίευση: (1989)

Πώς ο A. Wiles έλυσε το θεώρημα του Φερμά
από: Aczel, Amir D.
Δημοσίευση: (1998)

Το τελευταίο θεώρημα του Φερμά :
από: Singh, Simon
Δημοσίευση: (1998)

Το θεμελιώδες θεώρημα της άλγεβρας
από: Fine, Benjamin, 1948-
Δημοσίευση: (2001)

Fermat's last theorem :
από: Singh, Simon
Δημοσίευση: (2002)

Demonstration et generalization du theoreme de Fermat
από: Champeaux de la Boulaye, Gabriel, comte de
Δημοσίευση: (1933)

Πρώτη γραφαναλυτική λύσις της εκθετικής συναρτήσεως α + β = 1, μαθηματικά 1968 ; Δευτέρα γραφναλυτική λύσις της ως άνω συναρτήσεως, μαθηματικά 1968
από: Παπαδάκης, Κωνσταντίνος Νικ
Δημοσίευση: (1993)

From Frege to Godel :
από: Van Heijenoort, Jean 1912-
Δημοσίευση: (1967)

From Dedekind to Godel :
Δημοσίευση: (1995)

Το θεμελιώδες θεώρημα της άλγεβρας
από: Μακαρώνης, Αλέξανδρος-Αργύριος
Δημοσίευση: (2015)

The Closed Graph and P-Closed Graph Properties in General Topology
από: Hamlett, T. R. 1950-
Δημοσίευση: (1981)

Goedel, Escher, Bach :
από: Hofstadter, Douglas R., 1945-
Δημοσίευση: (1980)

Atiyah-Singer index theorem :
από: Mukherjee, Amiya
Δημοσίευση: (2013)