WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/842073

Memoirs of a Proof Theorist Gödel and Other Logicians

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.

Open All Close All

type

about

alternateName

http://schema.org/alternateName

  • "Gödel and other logicians"@en
  • "Gödel and other logicians"
  • "Gdel and other logicians"@en
  • "Proof theorist"
  • "Proof theorist"@en

author

contributor

creator

description

http://schema.org/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."@en
  • "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."@en

editor

genre

http://schema.org/genre

  • "Electronic books"
  • "Electronic books"@en
  • "Livres électroniques"

name

http://schema.org/name

  • "ゲーデル"
  • "Memoirs of a Proof Theorist Gödel and Other Logicians"@en
  • "Memoirs of a proof theorist : Gödel and other logicians"
  • "Memoirs of a proof theorist : Gödel and other logicians"@en
  • "Memoirs of a proof theorist : Godel and other logicians"@en
  • "Memoirs of a proof theorist Gödel and other logicians"
  • "Memoirs of a proof theorist Gödel and other logicians"@en
  • "Gēderu"@ja
  • "Gēderu"

workExample