Harvey Friedman's research on the foundations of mathematics
著者
書誌事項
Harvey Friedman's research on the foundations of mathematics
(Studies in logic and the foundations of mathematics, v. 117)
North-Holland, 1985
並立書誌 全1件
大学図書館所蔵 件 / 全35件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"Harvey Friedman's publications"--p. 405-408
内容説明・目次
内容説明
This volume discusses various aspects of Harvey Friedman's research in the foundations of mathematics over the past fifteen years. It should appeal to a wide audience of mathematicians, computer scientists, and mathematically oriented philosophers.
目次
Biography of Harvey Friedman. The Work of Harvey Friedman (A. Nerode, L.A. Harrington). Borel Diagonalization and Abstract Set Theory: Recent Results of Harvey Friedman (L.J. Stanley). Nonprovability of Certain Combinatorial Properties of Finite Trees (S.G. Simpson). The Consistency Strengths of Some Finite Forms of the Higman and Kruskal Theorems (R.L. Smith). Friedman's Research on Subsystems of Second Order Arithmetic (S.G. Simpson). Borel Structures for First-Order and Extended Logics (C. Steinhorn). Nonstandard Models and Related Developments (C. Smorynski). Intuitionistic Formal Systems (D. Leivant). Intuitionistic Set Theory (A. Scedrov). Algorithmic Procedures, Generalized Turing Algorithms, and Elementary Recursion Theory (J.C. Shepherdson). Computational Complexity of Real Functions (J.C. Shepherdson). The Pebble Game and Logics of Programs (A.J. Kfoury). Equality Between Functionals Revisited (R. Statman). Mathematical Aspects of Recursive Function Theory (R.E. Byerle). ``Big'' News From Archimedes to Friedman (C. Smorynski). Some Rapidly Growing Functions (C. Smorynski). The Varieties of Arboreal Experience (C. Smorynski). Does Godel's Theorem Matter to Mathematics? (G. Kolata). Harvey Friedman's Publications.
「Nielsen BookData」 より