The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions / edited by Martin Davis.
Editor: Hewlett, N.Y. : Raven Press, c1965Descripción: 440 p. ; 25 cmTrabajos contenidos: Gödel, Kurt, 1906-1978 | Church, Alonzo | Turing, Alan Mathison, 1912-1954 | Rosser, J. Barkley 1907- | Kleene, Stephen Cole, 1909-1994 | Post, Emil Leon, 1897-1954Tema(s): Recursive functions | Gödel's theorem | Turing machines | Unsolvability (Mathematical logic) | Computable functionsOtra clasificación: 03-03 (03-06 03D10 03D20 03D35 68Q05 01A60)Item type | Home library | Shelving location | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Libros | Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 Un55 (Browse shelf) | Available | A-2306 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 T536 Logique de la programmation : | 03 T722 Les applications techniques de la logique / | 03 T843 Choice sequences : | 03 Un55 The undecidable : | 03 V393 Lógica y matemáticas / | 03 W246 Les systèmes axiomatiques de la théorie des ensembles / | 03 W246s A survey of mathematical logic / |
Contiene trabajos de: Kurt Gödel, Alonzo Church, Alan M. Turing, J. B. Rosser, Stephen C. Kleene y Emil Post.
Incluye referencias bibliográficas e índice.
MR, 32 #7412
There are no comments on this title.