AL YASUGI MARIKO ET (EN) — MEMOIRS OF A PROOF THEORIST

MEMOIRS OF A PROOF THEORIST краткое содержание

MEMOIRS OF A PROOF THEORIST - описание и краткое содержание, автор AL YASUGI MARIKO ET (EN), читать бесплатно онлайн на сайте электронной библиотеки Lib-King.Ru.

This volume is a translation of the book Gödel, written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the book comprises a memoir of K Gödel, Takeuti's personal recollections, and his interpretation of Gödel's attitudes towards mathematical logic. It also contains Takeuti's recollection of association with some other famous logicians. Everything in the book is original, as 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 GödelWork of Paul Bernays and Kurt GödelHilbert and GödelShort Biographies of LogiciansSet Theory and Related TopicsFrom Hilbert to GödelAxioms of Arithmetic and Consistency — The Second Problem of HilbertA Report from Gödel '96Having Read “Gödel Remembered”A Tribute to the Memory of Professor Gödel'Appendices:On Gödel's Continuum HypothesisBirth of Second Order Proof Theory by the Fundamental Conjecture on GLCReadership: Those interested in mathematics, especially logic or the history of mathematics.