Cover Image

Το θεώρημα του Godel/

Main Author:	Nagel, Ernest
Corporate Author:	Τροχαλία
Other Authors:	Newman, James R., Γιαννακόπουλος, Νίκος, Newman, James Roy,, Βουτσινά, Πόπη
Format:	Book
Language:	Greek
Published:	Αθήνα: Τροχαλία, 1991
Subjects:	Μαθηματικά > Θεώρημα Godel Μαθηματικά > Φιλοσοφία Θεώρημα Godel Λογική, Συμβολική και μαθηματική Gödel's theorem Επιστημολογία > Μαθηματικά ΜΑΘΗΜΑΤΙΚΑ > ΦΙΛΟΣΟΦΙΑ Μαθηματικά Φιλοσοφία 5101 ΛΟΓΙΚΗ, ΣΥΜΒΟΛΙΚΗ ΚΑΙ ΜΑΘΗΜΑΤΙΚΗ ΘΕΩΡΗΜΑ GODEL Godel's theorem

Similar Items

Kurt Godel and the foundations of mathematics : horizons of truth /
Published: (2011)

Το θεώρημα του Godel /
by: Nagel, Ernest, 1901-
Published: (1991)

Για το θεώρημα μη-πληρότητας του Godel/
by: Uspenskii, Vladimir Andreevich
Published: (1998)

̂Gōdel's proof /
by: Nagel, Ernest, 1901-1985.
Published: (2001)

Από την παράνοια στους αλγόριθμους : η Δέκατη έβδομη νύχτα και άλλες διαδρομές /
by: Δοξιάδης, Απόστολος, 1953-
Published: (2006)

Godel's theorem in focus/
Published: (1988)

Godel's incompleteness theorems/
by: Smullyan, Raymond M.
Published: (1992)

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
by: Hermes, Hans
Published: (1969)

Roger Godel : de l'humanisme a l'humain /
Published: (1963)

Enumerability, decidability, computability.: An introduction to the theory of recursive functions/
by: Hermes, Hans
Published: (1969)

Vahé Godel/
by: Le Sidaner, Jean Marie
Published: (1981)

Godel's theorem an incomplete guide to its use and abuse /
by: Franzen, Torkel
Published: (2005)

An introduction to Godel's Theorems/
by: Smith, Peter, 1935-
Published: (2007)

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
by: Hermes, Hans.
Published: (1969)

Collegium logicum : annals of the Kurt Godel Society.
Published: (1995)

De lʹhumanisme a lʹhumain/
by: Godel, Roger, 1898-
Published: (1963)

Gödel, Escher, Bach : an eternal golden braid/
by: Hofstadter, Douglas R., 1945-
Published: (1999)

Το θεώρημα Macdowell-Specker/
by: Τζαχρίστας, Γιώργος
Published: (2003)

The large, the small and the human mind/
by: Penrose, Roger
Published: (1997)

The Oxford handbook of philosophy of mathematics and logic/
Published: (2005)

Reflections on Kurt Gödel /
by: Wang, Hao, 1921-
Published: (1987)

Το μεγάλο, το μικρό και η ανθρώπινη νόηση
by: Penrose, Roger
Published: (1999)

O αριθμός κατά Πλάτωνα : η ερμηνεία του Cherniss και η ανθυφαιρευική ερμηνεία /
by: Καπετανίδου, Θεοδοσία
Published: (2007)

Αποδείξεις & ανασκευές : η λογική της μαθηματικής ανακάλυψης /
by: LAKATOS, Imre
Published: (1996)

Introduction to logic : and to the methodology of deductive sciences /
by: TARSKI, Alfred
Published: (1965)

Proofs and refutations : the logic of mathematical discovery /
by: Lakatos, Imre
Published: (1988)

The foundations of mathematics and other logical essays
by: Ramsey, Frank Plumpton (1903-1930)
Published: (2002)

The large, the small, and the human mind /
Published: (1997)

Les deux infinis et l'esprit humain/
by: Penrose, Roger
Published: (1999)

The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions/
Published: (2004)

Απο την παράνοια στους αλγόριθμους : η δέκατη έβδομη νύχτα και άλλες διαδρομές /
by: Δοξιάδης, Απόστολος Κ. 1953-
Published: (2006)

Το άπειρο και ο νους/
by: Rucker, Rudy v.B. 1946-
Published: (2012)

Η έννοια της μαθηματικής αλήθειας και η απόδειξη του Goedel/
by: Αυγελής, Νικόλαος Γ.
Published: (1972)

Αιχμάλωτος των μαθηματικών : ο Κουρτ Γκέντελ και το θεώρημα της μη πληρότητας /
by: Goldstein, Rebecca
Published: (2006)

Αιχμάλωτος των μαθηματικών: ο Κουρτ Γκέντελ και το θεώρημα της μη πληρότητας/
by: Goldstein, Rebecca
Published: (2006)

Τα όρια της λογικής : στο κατώφλι τριών γρίφων: του Goldbach, του Go?del και της βαρύτητας /
by: Τσόρης, Σταμάτης
Published: (2009)

The shaping of deduction in Greek mathematics A study in cognitive history
by: Netz, Reviel
Published: (2003)

To θεώρημα κατηγορικότητας του Morley/
by: Δημακάκος, Αριστείδης
Published: (2000)

Η μαθηματική αποκωδικοποίησις της ελληνικής γλώσσης
by: Αργυρόπουλος, Ελευθέριος (1967-)
Published: (2001)

Το μεγάλο, το μικρό και η ανθρώπινη νόηση /
Published: (1999)

Cannot write session to /tmp/vufind_sessions/sess_83rmq8cd895k9is6d9gd1tsoj3