
Computability
Computable Functions Logic and the Foundations of Math
CRC Press
1st Edition
Published on 15. May 1990
Book
Hardback
320 pages
978-0-534-10356-9 (ISBN)
Article exhausted; check for reprint
Description
This book should be of interest to intermediate mathematics undergraduates; postgraduates in theoretical computer science/philosophy of mathematics.
More details
Language
English
Place of publication
Bosa Roca
United States
Publishing group
Taylor & Francis Inc
Target group
College/higher education
Professional and scholarly
Research
Dimensions
Height: 280 mm
Width: 210 mm
Weight
227 gr
ISBN-13
978-0-534-10356-9 (9780534103569)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
New editions
R.L. Epstein | Walter A. Carnielli
Computability
Computable Functions, Logic and the Foundations of Mathematics
Book
07/1999
2nd Edition
Wadsworth Publishing Co Inc
€48.46
Article not available
Persons
Richard .L. Epstein (University of Campinas, Berkeley, CA, USA) (Author) , Walter Alexandr Carnielli (State University of Campinas, Brazil) (Author)
Author
University of Campinas, Berkeley, CA, USA
State University of Campinas, Brazil
Content
Philosophy and mathematics. Some paradoxes. Whole numbers. Functions. An introduction to the nature of a proof. Infinite collections? Hilbert: on the infinite. Computability. Turing machines. The most amazing fact and Church's thesis. Primitive recursive functions. The Grzegorczyk hierarchy. Multiple recursion and recursion on order types. The least search operator. Partial recursion functions. Numbering the partial recursive functions. Listability. Turing machine computable = partial recursive. Logic and arithmetic, part 1: propositional logic. Logic and arithmetic, part 2: a review. Logic and arithmetic, part 3: first-order arithmetic. Functions representable in formal arithmetic. The undecidability of arithmetic. The unprovability of consistency. Church's thesis. Constructivist view of mathematics. Bibliography. Index of notation. Index.