竹内外史著/「ゲーデル」英訳<br>Memoirs of a Proof Theorist : Godel and Other Logicians (Revised)

個数:

竹内外史著/「ゲーデル」英訳
Memoirs of a Proof Theorist : Godel and Other Logicians (Revised)

  • 在庫がございません。海外の書籍取次会社を通じて出版社等からお取り寄せいたします。
    通常6~9週間ほどで発送の見込みですが、商品によってはさらに時間がかかることもございます。
    重要ご説明事項
    1. 納期遅延や、ご入手不能となる場合がございます。
    2. 複数冊ご注文の場合、分割発送となる場合がございます。
    3. 美品のご指定は承りかねます。
  • 製本 Hardcover:ハードカバー版/ページ数 156 p.
  • 言語 ENG
  • 商品コード 9789812382795
  • DDC分類 500

基本説明

Written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the book a memoir of K Gödel, Takeuti's personal recollections, and his interpretation of Gödel's comprises attitudes towards mathematical logic.

Full Description


This volume is a translation of the book "Godel", written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the text is a memoir of K. Godel, Takeuti's personal recollections, and his interpretation of Godel's comprises attitudes towards mathematical logic. It also contains Takeuti's recollection of association with some other famous logicians. The author adheres to his own experiences and interpretations. There is also an article on Hilbert's second problem as well as on the author's fundamental conjecture about second order logic.

Contents

On Godel; Work of Paul Bernays and Kurt Godel; Hilbert and Godel; Short Biographies of Logicians; Set Theory and Related Topics; From Hilbert to Godel; Axioms of Arithmetic and Consistency -- The Second Problem of Hilbert; A Report from Godel '96; Having Read " Godel Remembered"; A Tribute to the Memory of Professor Godel'; Appendices: On Godel's Continuum Hypothesis; Birth of Second Order Proof Theory by the Fundamental Conjecture on GLC.