The undecidable :

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

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Davis, Martin, 1928- (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Hewlett : Raven, 1965.
Θέματα:	Recursive functions. Gödel's theorem. Turing machines. Unsolvability (Mathematical logic) Computable functions.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Degrees of unsolvability
από: Sacks, Gerald E.
Δημοσίευση: (1966)

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

Minimal degrees of unsolvability and the full approximation construction
από: Epstein, Richard L. 1947-
Δημοσίευση: (1975)

Algorithmen, rekursive funktionen und formaler sprachen
από: Brauer, Wilfried, κ.ά.
Δημοσίευση: (1968)

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

Θεμελιώσεις επιστήμης Η
Δημοσίευση: (2001)

The calculi of lambda-conversion
από: Church, Alonzo 1903-1995
Δημοσίευση: (1951)

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

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

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

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

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

The foundations of intuitionistic mathematics :
από: Kleene, Stephen Cole 1909-
Δημοσίευση: (1965)

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

Formalized recursive functionals and formalized realizability
από: Kleene, Stephen Cole 1909-
Δημοσίευση: (1969)

Rekursive Folgen
από: Markushevich, A. I. (Alekseaei Ivanovich), 1908-1979
Δημοσίευση: (1955)

Recursive methods in economic dynamics
από: Stokey, Nancy L.
Δημοσίευση: (1989)

Elementary induction on abstract structures
από: Μοσχοβάκης, Γιάννης Ν., 1938-
Δημοσίευση: (2008)

Computability :
από: Cutland, Nigel
Δημοσίευση: (1980)

Εισαγωγή στην υπολογιστική
από: Τουρλάκης, Γιώργος
Δημοσίευση: (1994)

Recursive Function Theory
Δημοσίευση: (1962)

Recursive algorithms
από: Lorentz, Richard
Δημοσίευση: (1994)

Theory of formal systems
από: Smullyan, Raymond M.
Δημοσίευση: (1961)

Hierarchies of predicates of finite types
από: Clarke, Douglas Albert
Δημοσίευση: (1964)

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

A recursive introduction to the theory of computation
από: Smith, Carl H. 1950-
Δημοσίευση: (1994)

Stochastic approximation and recursive algorithms and applications
από: Kushner, Harold J. (Harold Joseph) 1933-
Δημοσίευση: (2003)

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

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

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

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

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

Thinking on the Web :
από: Alesso, H. P.
Δημοσίευση: (2009)

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

Carleman's formulas in complex analysis :
από: Aizenberg, Lev Abramovich 1937-
Δημοσίευση: (1993)

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

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

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

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

Mathematical logic and computability
από: Keisler, H. Jerome
Δημοσίευση: (1996)