Computability : computable functions, logic, and the foundations of mathematics
著者
書誌事項
Computability : computable functions, logic, and the foundations of mathematics
(The Wadsworth & Brooks/Cole mathematics series)
Wadsworth & Brooks/Cole Advanced Books & Software, c1989
大学図書館所蔵 件 / 全20件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 271-278
Includes index
内容説明・目次
内容説明
This book should be of interest to intermediate mathematics undergraduates; postgraduates in theoretical computer science/philosophy of mathematics.
目次
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.
「Nielsen BookData」 より