Godel's incompleteness theorems

Godel's incompleteness theorems

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Smullyan, Raymond M.
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	New York : Oxford University Press, 1992
Σειρά:	Oxford logic guides ; ; 19
Θέματα:	Gödel's theorem.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

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

Godel's proof
από: Nagel, Ernest 1901-1985, κ.ά.
Δημοσίευση: (1958)

Το θεώρημα Godel
από: Nagel, Ernest 1901-1985, κ.ά.
Δημοσίευση: (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)

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

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

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

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

Automated theorem proving :
Δημοσίευση: (1984)

Fermat's last theorem :
από: Edwards, Harold M.
Δημοσίευση: (1977)

The theorem of Pythagoras
Δημοσίευση: (1988)

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

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

Some limit theorems in statistics
από: Bahadur, Raghu Raj 1924-
Δημοσίευση: (1971)

Limit theorems for large deviations
από: Saulis, L.
Δημοσίευση: (1991)

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

Lectures on the arithmetic Riemann-Roch theorem
από: Faltings, Gerd
Δημοσίευση: (1992)

Interactive theorem proving and program development :
από: Bertot, Yves
Δημοσίευση: (2004)

Limit Theorems for Stochastic Processes
από: Jacod, Jean
Δημοσίευση: (1987)

Approximation theorems of mathematical statistics
από: Serfling, R. J.
Δημοσίευση: (1980)

Similarity ; the theorem of Pythagoras ; the story of π
από: Apostol, Tom M.
Δημοσίευση: (2005)

Approximation of functions of several variables and imbedding theorems
από: Nikolskii, S. M. (Sergei Mikhailovich), 1905-2012
Δημοσίευση: (1975)

Fatou type theorems :
από: Di Biase, Fausto 1962-
Δημοσίευση: (1998)

The index theorem for minimal surfaces of higher genus
από: Tomi, Friedrich
Δημοσίευση: (1995)

Novikov conjectures, index theorems and rigidity :
Δημοσίευση: (1995)

Orthogonal decompositions and functional limit theorems for random graph statistics
από: Janson, Svante
Δημοσίευση: (1994)

An arithmetic Riemann-Roch theorem for singular arithmetic surfaces
από: Aitken, Wayne 1963-
Δημοσίευση: (1996)

Symbolic logic and mechanical theorem proving
από: Chang, Chin-Liang 1937-
Δημοσίευση: (1987)

Seminar on the Atiyah-Singer index theorem
από: Palais, Richard S.
Δημοσίευση: (1965)

Limit theorems for unions of random closed sets
από: Molchanov, Ilya S. 1962-
Δημοσίευση: (1993)

Existence Theorems for Minimal Surfaces of Non-Zero Genus Spanning Contour
από: Tomi, Friedrich
Δημοσίευση: (1988)