Τα όρια της λογικής : στο κατώφλι τριών γρίφων: του Goldbach, του Go?del και της βαρύτητας /

Main Author:	Τσόρης, Σταμάτης
Format:	Book
Language:	Greek
Published:	Αθήνα Θεσσαλονίκη : Εκδόσεις Σάκκουλα, 2009
Subjects:	Λογική, Συμβολική και μαθηματική Go?delʹs theorem

Similar Items

Undecidable theories/
by: Tarski, Alfred, 1901-1983
Published: (1953)

Godelʹs theorem in focus/
by: Shanker, S. G.
Published: (1988)

On formally undecidable propositions of Principia mathematica and related systems/
by: Go?del, Kurt
Published: (1992)

Satan, cantor & infinity : mind-boggling puzzles /
by: Smullyan, Raymond M.
Published: (2009)

The monadic second order theory of all countable ordinals/
by: Buchi, J. Richard
Published: (1973)

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Go?del /
by: Mostowski, Andrzej
Published: (1952)

Σημειώσεις μαθηματικής λογικής/
by: Δημητρακόπουλος, Κ. Ι.
Published: (1999)

Στοιχεία μαθηματικής λογικής/
by: Τζουβάρας, Αθανάσιος
Published: (1992)

Στοιχεία μαθηματικής λογικής/
by: Τζουβάρας, Αθ.
Published: (1998)

Μαθηματική λογική μετά μεθόδων αποδείξεως εις τα μαθηματικά/
by: Κυριακόπουλος, Α. Κ.
Published: (1977)

Κριτική προσέγγιση στο επιχείρημα του προγράμματος του νεολογικισμού για τους φυσικούς αριθμούς ως πραγματικά αντικείμενα και για την προέλευση της αριθμητικής γνώσης/
by: Χριστοπούλου, Δήμητρα

Οι μεταμορφώσεις του λογισμού μια συναρπαστική μαθηματική ιστορία
by: Dowek, Gilles
Published: (2012)

Όπερ έδει δείξαι Η ομορφιά της μαθηματικής απόδειξης
by: Polster, Burkard
Published: (2009)

Λογική : φιλοσοφική και συμβολική /
by: Βουδούρης, Κωνσταντίνος I., 1935-
Published: (1977)

Einfuehrung in die formale Logik : unter der besonderen Fragestellung: was ist Wahrheit allein aufgrund der Form? /
by: Buth, Manfred
Published: (1996)

A concise introduction to logic/
by: HACKING, Ian, 1942-
Published: (1972)

Mathematical reasoning : Analogies,metaphors and images ; edited: Lyn D.Ehglish
by: English, Lyn D.
Published: (1997)

Η πυθαγόρειος αρμονική συμβολική
by: Haase, R.
Published: (1966)

A survey of symbolic logic
by: Lewis, Clarence Irving (1883-1964)
Published: (1918)

The principles of science A treatise on logic and scientific method
by: Jevons, William Stanley (1835-1882)
Published: (1883)

Symbolic logic
by: Venn, John (1834-1923)
Published: (1881)

Θέματα ειδικών δεξιοτήτων λογικομαθηματικών και χωρικής αντίληψης
by: Κεΐσογλου, Στέφανος Ν.
Published: (2008)

A survey of symbolic logic/
by: LEWIS, Clarence Irving, 1883-
Published: (1960)

First-order functional calculus/
by: KEENE, Geoffrey Bourton
Published: (1966)

The elements of mathematical logic/
by: ROSENBLOOM, Paul C.
Published: (1950)

Topics in modern logic/
by: MAKINSON, D. C.
Published: (1973)

Mathematiques de base pour les linguistes/
by: GOUJON, Pierre
Published: (1975)

Introduction to mathematical logic/
by: MENDELSON, Elliott
Published: (1997)

Mathematical logic/
by: MONK, J. Donald, 1930-
Published: (1976)

Logic : techniques of formal reasoning /
by: Kalish, Donald
Published: (1980)

Λογική και απόδειξη :Θεωρία - ασκήσεις
by: Boricic, Branislav
Published: (1995)

Methodisches Denken/
by: Lorenzen, Paul, 1915-1994
Published: (1968)

Word processing in groups /
Published: (1992)

Λογική /
by: Μυτιληναίος, Μιχάλης
Published: (2005)

Einstieg in die formale Logik : ein Lern- und Uebungsbuch fuer Nichtmathematiker /
by: Ruppen, Paul, 1956-
Published: (1997)

Elementare formalisierte Logik/
by: Seebohm, Thomas M.
Published: (1991)

Models and ultraproducts : an introduction /
by: Bell, J. L. (John Lane)
Published: (1969)

Διακριτά μαθηματικά και μαθηματική λογική/
by: Βούρος, Γεώργιος
Published: (2002)

Papers in philosophical logic/
by: LEWIS, David, 1941-
Published: (1998)

Language, logic and mathematics/
by: KILMISTER, Clive William
Published: (1967)

Cannot write session to /tmp/vufind_sessions/sess_nkls2kkg8vilf5grpll7soj5b3