The undecidable :

The undecidable : basic papers on undercidable propositions, unsolvable problems and computable functions

Saved in:

Bibliographic Details
Other Authors:	Davis, Martin, 1928- (Editor)
Format:	Book
Language:	English
Published:	Hewlett : Raven, 1965.
Subjects:	Recursive functions. Gödel's theorem. Turing machines. Unsolvability (Mathematical logic) Computable functions.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Degrees of unsolvability
by: Sacks, Gerald E.
Published: (1966)

A decision method for elemantary algebra and goemetry
by: Tarski, Alfred
Published: (1951)

Minimal degrees of unsolvability and the full approximation construction
by: Epstein, Richard L. 1947-
Published: (1975)

Algorithmen, rekursive funktionen und formaler sprachen
by: Brauer, Wilfried, et al.
Published: (1968)

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

Θεμελιώσεις επιστήμης Η
Published: (2001)

The calculi of lambda-conversion
by: Church, Alonzo 1903-1995
Published: (1951)

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

Το θεώρημα Godel
by: Nagel, Ernest 1901-1985, et al.
Published: (1991)

Godel's proof
by: Nagel, Ernest 1901-1985, et al.
Published: (1958)

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

Godel's Theorem in Focus
Published: (1991)

The foundations of intuitionistic mathematics :
by: Kleene, Stephen Cole 1909-
Published: (1965)

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

Formalized recursive functionals and formalized realizability
by: Kleene, Stephen Cole 1909-
Published: (1969)

Rekursive Folgen
by: Markushevich, A. I. (Alekseaei Ivanovich), 1908-1979
Published: (1955)

Recursive methods in economic dynamics
by: Stokey, Nancy L.
Published: (1989)

Elementary induction on abstract structures
by: Μοσχοβάκης, Γιάννης Ν., 1938-
Published: (2008)

Computability :
by: Cutland, Nigel
Published: (1980)

Εισαγωγή στην υπολογιστική
by: Τουρλάκης, Γιώργος
Published: (1994)

Recursive Function Theory
Published: (1962)

Recursive algorithms
by: Lorentz, Richard
Published: (1994)

Theory of formal systems
by: Smullyan, Raymond M.
Published: (1961)

Hierarchies of predicates of finite types
by: Clarke, Douglas Albert
Published: (1964)

Θεωρία υπολογισμού
by: Χαλάτσης, Κώστας
Published: (2002)

A recursive introduction to the theory of computation
by: Smith, Carl H. 1950-
Published: (1994)

Stochastic approximation and recursive algorithms and applications
by: Kushner, Harold J. (Harold Joseph) 1933-
Published: (2003)

Αιχμάλωτος των μαθηματικών :
by: Goldstein, Rebecca, 1950-
Published: (2006)

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

Σκιές του νου
by: Penrose, Roger
Published: (1994)

Shadows of the mind :
by: Penrose, Roger
Published: (1994)

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

Thinking on the Web :
by: Alesso, H. P.
Published: (2009)

Αλγόριθμοι πιστοποίησης πρώτων αριθμών σε ενσωματωμένα συστήματα :
by: Τσιφόρα, Αλεξάνδρα
Published: (2009)

Carleman's formulas in complex analysis :
by: Aizenberg, Lev Abramovich 1937-
Published: (1993)

Fatou type theorems :
by: Di Biase, Fausto 1962-
Published: (1998)

Αυτόματα και τυπικές γλώσσες
by: Δημητρίου, Αναστάσιος
Published: (2002)

Απειροστικός λογισμός σε πολλές μεταβλητές
by: Χατζηαφράτης, Τηλέμαχος Ε.
Published: (1996)

Αλγόριθμοι πιστοποίησης πρώτων αριθμών σε ενσωματωμένα συστήματα
by: Τσιφόρα, Αλεξάνδρα
Published: (2015)

Mathematical logic and computability
by: Keisler, H. Jerome
Published: (1996)