Verfügbarkeit: Memoirs of a proof theorist :

Memoirs of a proof theorist :: Gödel and other logicians /

This volume is a translation of the book Gödel, written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the book comprises a memoir of K. Gödel, Takeuti's personal recollections, and his interpretation of Gödel's attitudes towards mathematical logic. It also co...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Takeuti, Gaisi, 1926-2017
Format:	Elektronisch E-Book
Sprache:	English Japanese
Veröffentlicht:	River Edge, NJ : World Scientific, 2003.
Schlagworte:	Gödel, Kurt. Gödel, Kurt Proof theory. Théorie de la preuve. MATHEMATICS > Infinity. MATHEMATICS > Logic. Proof theory
Online-Zugang:	Volltext
Zusammenfassung:	This volume is a translation of the book Gödel, written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the book comprises a memoir of K. Gödel, Takeuti's personal recollections, and his interpretation of Gö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.
Beschreibung:	1 online resource (xviii, 135 pages :)
Bibliographie:	Includes bibliographical references.
ISBN:	9789812795359 9812795359

Internformat

MARC


LEADER	00000cam a2200000 a 4500
001	ZDB-4-EBA-ocn263146388
003	OCoLC
005	20240705115654.0
006	m o d
007	cr cnu---unuuu
008	081023s2003 njua ob 000 0 eng d
040			\|a N$T \|b eng \|e pn \|c N$T \|d YDXCP \|d OCLCQ \|d IDEBK \|d OCLCQ \|d OCLCF \|d NLGGC \|d STF \|d OCLCQ \|d OCLCA \|d JBG \|d OCLCQ \|d VTS \|d AGLDB \|d AU@ \|d OCLCO \|d M8D \|d OCLCQ \|d OCLCO \|d K6U \|d OCLCO \|d OCLCQ \|d OCLCO \|d OCLCL
020			\|a 9789812795359 \|q (electronic bk.)
020			\|a 9812795359 \|q (electronic bk.)
035			\|a (OCoLC)263146388
041	1		\|a eng \|h jpn
050		4	\|a QA9.54 \|b .T2813 2003eb
072		7	\|a MAT \|x 016000 \|2 bisacsh
072		7	\|a MAT \|x 018000 \|2 bisacsh
082	7		\|a 511.3 \|2 22
049			\|a MAIN
100	1		\|a Takeuti, Gaisi, \|d 1926-2017. \|1 https://id.oclc.org/worldcat/entity/E39PBJrrCW98YGHYHWxp8XCWjC
240	1	0	\|a Gēderu. \|l English
245	1	0	\|a Memoirs of a proof theorist : \|b Gödel and other logicians / \|c [by Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.
246	3	0	\|a Proof theorist
260			\|a River Edge, NJ : \|b World Scientific, \|c 2003.
300			\|a 1 online resource (xviii, 135 pages :)
336			\|a text \|b txt \|2 rdacontent
337			\|a computer \|b c \|2 rdamedia
338			\|a online resource \|b cr \|2 rdacarrier
504			\|a Includes bibliographical references.
588	0		\|a Print version record.
505	0		\|a 1. On Gödel. 1.1. My fundamental conjecture and Gödel. 1.2. Gödel's mathematics. 1.3. The Gödelian "Boom" -- 2. Work of Paul Bernays and Kurt Gödel. 2.1. Bernays as a collaborator of Hilbert. 2.2. Set theory and proof theory of Bernays. 2.3. The completeness theorem of Gödel. 2.4. The incompleteness theorem of Gödel. 2.5. Gödel's method. 2.6. Gödel's set theory. 2.7. The continuum problem and unpublished works -- 3. Hilbert and Gödel. 3.1. The completeness theorem. 3.2. The incompleteness theorem. 3.3. Set theory. 3.4. Hilbert for Gödel. 3.5. Postscript -- 4. Short biographies of logicians. 4.1. Kurt Gödel. 4.2. A.A. Fraenkel and Paul Bernays. 4.3. Paul Erdös. 4.4. Alfred Tarski. 4.5. A. Heyting. 4.6. Alonzo Church. 4.7. S.C. Kleene. 4.8. Georg Kreisel -- 5. Set theory and related topics. 5.1. The meaning and significance of the axiom of determinateness. 5.2. The future and Gödel's obsession. 5.3. Set theory and computer science. 5.4. Summing-up -- 6. From Hilbert to Gödel. 6.1. Hilbert 1930. 6.2. Hilbert's Program. 6.3. Über das Unendliche. 6.4. The Hilbert School in 1930. 6.5. Gödel enters the arena. 6.6. The disintegration of Hilbert School -- 7. Axioms of arithmetic and consistency -- the second problem of Hilbert -- 8. A report from Gödel '96. 8.1. A program on a new axiom. 8.2. Gödel's program on the continuum. 8.3. On Hao Wang. 8.4. Gödel's theory of relativity. 8.5. Gödel in Brno -- 9. Having read "Gödel Remembered" -- 10. A tribute to the memory of Professor Gödel.
520			\|a This volume is a translation of the book Gödel, written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the book comprises a memoir of K. Gödel, Takeuti's personal recollections, and his interpretation of Gö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.
600	1	0	\|a Gödel, Kurt. \|0 http://id.loc.gov/authorities/names/n79007770
600	1	7	\|a Gödel, Kurt \|2 fast \|1 https://id.oclc.org/worldcat/entity/E39PBJcWxmQRTDKHMpFdHmRFrq
650		0	\|a Proof theory. \|0 http://id.loc.gov/authorities/subjects/sh85107437
650		6	\|a Théorie de la preuve.
650		7	\|a MATHEMATICS \|x Infinity. \|2 bisacsh
650		7	\|a MATHEMATICS \|x Logic. \|2 bisacsh
650		7	\|a Proof theory \|2 fast
758			\|i has work: \|a Memoirs of a proof theorist (Text) \|1 https://id.oclc.org/worldcat/entity/E39PCGM8DwhWBMVFGmWvbTK7xP \|4 https://id.oclc.org/worldcat/ontology/hasWork
776	0	8	\|i Print version: \|a Takeuti, Gaisi, 1926- \|s Gēderu. English. \|t Memoirs of a proof theorist. \|d River Edge, NJ : World Scientific, 2003 \|z 9812382798 \|z 9789812382795 \|w (DLC) 2003278179 \|w (OCoLC)53469470
856	1		\|l FWS01 \|p ZDB-4-EBA \|q FWS_PDA_EBA \|u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235638 \|3 Volltext
856	1		\|l CBO01 \|p ZDB-4-EBA \|q FWS_PDA_EBA \|u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235638 \|3 Volltext
938			\|a EBSCOhost \|b EBSC \|n 235638
938			\|a YBP Library Services \|b YANK \|n 2895763
994			\|a 92 \|b GEBAY
912			\|a ZDB-4-EBA

Datensatz im Suchindex

DE-BY-FWS_katkey	ZDB-4-EBA-ocn263146388
_version_	1813903327660867584
adam_text
any_adam_object
author	Takeuti, Gaisi, 1926-2017
author_facet	Takeuti, Gaisi, 1926-2017
author_role
author_sort	Takeuti, Gaisi, 1926-2017
author_variant	g t gt
building	Verbundindex
bvnumber	localFWS
callnumber-first	Q - Science
callnumber-label	QA9
callnumber-raw	QA9.54 .T2813 2003eb
callnumber-search	QA9.54 .T2813 2003eb
callnumber-sort	QA 19.54 T2813 42003EB
callnumber-subject	QA - Mathematics
collection	ZDB-4-EBA
contents	1. On Gödel. 1.1. My fundamental conjecture and Gödel. 1.2. Gödel's mathematics. 1.3. The Gödelian "Boom" -- 2. Work of Paul Bernays and Kurt Gödel. 2.1. Bernays as a collaborator of Hilbert. 2.2. Set theory and proof theory of Bernays. 2.3. The completeness theorem of Gödel. 2.4. The incompleteness theorem of Gödel. 2.5. Gödel's method. 2.6. Gödel's set theory. 2.7. The continuum problem and unpublished works -- 3. Hilbert and Gödel. 3.1. The completeness theorem. 3.2. The incompleteness theorem. 3.3. Set theory. 3.4. Hilbert for Gödel. 3.5. Postscript -- 4. Short biographies of logicians. 4.1. Kurt Gödel. 4.2. A.A. Fraenkel and Paul Bernays. 4.3. Paul Erdös. 4.4. Alfred Tarski. 4.5. A. Heyting. 4.6. Alonzo Church. 4.7. S.C. Kleene. 4.8. Georg Kreisel -- 5. Set theory and related topics. 5.1. The meaning and significance of the axiom of determinateness. 5.2. The future and Gödel's obsession. 5.3. Set theory and computer science. 5.4. Summing-up -- 6. From Hilbert to Gödel. 6.1. Hilbert 1930. 6.2. Hilbert's Program. 6.3. Über das Unendliche. 6.4. The Hilbert School in 1930. 6.5. Gödel enters the arena. 6.6. The disintegration of Hilbert School -- 7. Axioms of arithmetic and consistency -- the second problem of Hilbert -- 8. A report from Gödel '96. 8.1. A program on a new axiom. 8.2. Gödel's program on the continuum. 8.3. On Hao Wang. 8.4. Gödel's theory of relativity. 8.5. Gödel in Brno -- 9. Having read "Gödel Remembered" -- 10. A tribute to the memory of Professor Gödel.
ctrlnum	(OCoLC)263146388
dewey-full	511.3
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3
dewey-search	511.3
dewey-sort	3511.3
dewey-tens	510 - Mathematics
discipline	Mathematik
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04555cam a2200529 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn263146388</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20240705115654.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">081023s2003 njua ob 000 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">NLGGC</subfield><subfield code="d">STF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCA</subfield><subfield code="d">JBG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">AGLDB</subfield><subfield code="d">AU@</subfield><subfield code="d">OCLCO</subfield><subfield code="d">M8D</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">K6U</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812795359</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9812795359</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)263146388</subfield></datafield><datafield tag="041" ind1="1" ind2=" "><subfield code="a">eng</subfield><subfield code="h">jpn</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.54</subfield><subfield code="b">.T2813 2003eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">016000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Takeuti, Gaisi,</subfield><subfield code="d">1926-2017.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJrrCW98YGHYHWxp8XCWjC</subfield></datafield><datafield tag="240" ind1="1" ind2="0"><subfield code="a">Gēderu.</subfield><subfield code="l">English</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Memoirs of a proof theorist :</subfield><subfield code="b">Gödel and other logicians /</subfield><subfield code="c">[by Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.</subfield></datafield><datafield tag="246" ind1="3" ind2="0"><subfield code="a">Proof theorist</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">River Edge, NJ :</subfield><subfield code="b">World Scientific,</subfield><subfield code="c">2003.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xviii, 135 pages :)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">1. On Gödel. 1.1. My fundamental conjecture and Gödel. 1.2. Gödel's mathematics. 1.3. The Gödelian "Boom" -- 2. Work of Paul Bernays and Kurt Gödel. 2.1. Bernays as a collaborator of Hilbert. 2.2. Set theory and proof theory of Bernays. 2.3. The completeness theorem of Gödel. 2.4. The incompleteness theorem of Gödel. 2.5. Gödel's method. 2.6. Gödel's set theory. 2.7. The continuum problem and unpublished works -- 3. Hilbert and Gödel. 3.1. The completeness theorem. 3.2. The incompleteness theorem. 3.3. Set theory. 3.4. Hilbert for Gödel. 3.5. Postscript -- 4. Short biographies of logicians. 4.1. Kurt Gödel. 4.2. A.A. Fraenkel and Paul Bernays. 4.3. Paul Erdös. 4.4. Alfred Tarski. 4.5. A. Heyting. 4.6. Alonzo Church. 4.7. S.C. Kleene. 4.8. Georg Kreisel -- 5. Set theory and related topics. 5.1. The meaning and significance of the axiom of determinateness. 5.2. The future and Gödel's obsession. 5.3. Set theory and computer science. 5.4. Summing-up -- 6. From Hilbert to Gödel. 6.1. Hilbert 1930. 6.2. Hilbert's Program. 6.3. Über das Unendliche. 6.4. The Hilbert School in 1930. 6.5. Gödel enters the arena. 6.6. The disintegration of Hilbert School -- 7. Axioms of arithmetic and consistency -- the second problem of Hilbert -- 8. A report from Gödel '96. 8.1. A program on a new axiom. 8.2. Gödel's program on the continuum. 8.3. On Hao Wang. 8.4. Gödel's theory of relativity. 8.5. Gödel in Brno -- 9. Having read "Gödel Remembered" -- 10. A tribute to the memory of Professor Gödel.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This volume is a translation of the book Gödel, written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the book comprises a memoir of K. Gödel, Takeuti's personal recollections, and his interpretation of Gö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.</subfield></datafield><datafield tag="600" ind1="1" ind2="0"><subfield code="a">Gödel, Kurt.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n79007770</subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Gödel, Kurt</subfield><subfield code="2">fast</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJcWxmQRTDKHMpFdHmRFrq</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Proof theory.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85107437</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Théorie de la preuve.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Infinity.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Logic.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Proof theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Memoirs of a proof theorist (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGM8DwhWBMVFGmWvbTK7xP</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Takeuti, Gaisi, 1926-</subfield><subfield code="s">Gēderu. English.</subfield><subfield code="t">Memoirs of a proof theorist.</subfield><subfield code="d">River Edge, NJ : World Scientific, 2003</subfield><subfield code="z">9812382798</subfield><subfield code="z">9789812382795</subfield><subfield code="w">(DLC) 2003278179</subfield><subfield code="w">(OCoLC)53469470</subfield></datafield><datafield tag="856" ind1="1" ind2=" "><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235638</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="1" ind2=" "><subfield code="l">CBO01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235638</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">235638</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2895763</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield></record></collection>
id	ZDB-4-EBA-ocn263146388
illustrated	Illustrated
indexdate	2024-10-25T16:16:55Z
institution	BVB
isbn	9789812795359 9812795359
language	English Japanese
oclc_num	263146388
open_access_boolean
owner	MAIN
owner_facet	MAIN
physical	1 online resource (xviii, 135 pages :)
psigel	ZDB-4-EBA
publishDate	2003
publishDateSearch	2003
publishDateSort	2003
publisher	World Scientific,
record_format	marc
spelling	Takeuti, Gaisi, 1926-2017. https://id.oclc.org/worldcat/entity/E39PBJrrCW98YGHYHWxp8XCWjC Gēderu. English Memoirs of a proof theorist : Gödel and other logicians / [by Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell. Proof theorist River Edge, NJ : World Scientific, 2003. 1 online resource (xviii, 135 pages :) text txt rdacontent computer c rdamedia online resource cr rdacarrier Includes bibliographical references. Print version record. 1. On Gödel. 1.1. My fundamental conjecture and Gödel. 1.2. Gödel's mathematics. 1.3. The Gödelian "Boom" -- 2. Work of Paul Bernays and Kurt Gödel. 2.1. Bernays as a collaborator of Hilbert. 2.2. Set theory and proof theory of Bernays. 2.3. The completeness theorem of Gödel. 2.4. The incompleteness theorem of Gödel. 2.5. Gödel's method. 2.6. Gödel's set theory. 2.7. The continuum problem and unpublished works -- 3. Hilbert and Gödel. 3.1. The completeness theorem. 3.2. The incompleteness theorem. 3.3. Set theory. 3.4. Hilbert for Gödel. 3.5. Postscript -- 4. Short biographies of logicians. 4.1. Kurt Gödel. 4.2. A.A. Fraenkel and Paul Bernays. 4.3. Paul Erdös. 4.4. Alfred Tarski. 4.5. A. Heyting. 4.6. Alonzo Church. 4.7. S.C. Kleene. 4.8. Georg Kreisel -- 5. Set theory and related topics. 5.1. The meaning and significance of the axiom of determinateness. 5.2. The future and Gödel's obsession. 5.3. Set theory and computer science. 5.4. Summing-up -- 6. From Hilbert to Gödel. 6.1. Hilbert 1930. 6.2. Hilbert's Program. 6.3. Über das Unendliche. 6.4. The Hilbert School in 1930. 6.5. Gödel enters the arena. 6.6. The disintegration of Hilbert School -- 7. Axioms of arithmetic and consistency -- the second problem of Hilbert -- 8. A report from Gödel '96. 8.1. A program on a new axiom. 8.2. Gödel's program on the continuum. 8.3. On Hao Wang. 8.4. Gödel's theory of relativity. 8.5. Gödel in Brno -- 9. Having read "Gödel Remembered" -- 10. A tribute to the memory of Professor Gödel. This volume is a translation of the book Gödel, written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the book comprises a memoir of K. Gödel, Takeuti's personal recollections, and his interpretation of Gö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. Gödel, Kurt. http://id.loc.gov/authorities/names/n79007770 Gödel, Kurt fast https://id.oclc.org/worldcat/entity/E39PBJcWxmQRTDKHMpFdHmRFrq Proof theory. http://id.loc.gov/authorities/subjects/sh85107437 Théorie de la preuve. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Proof theory fast has work: Memoirs of a proof theorist (Text) https://id.oclc.org/worldcat/entity/E39PCGM8DwhWBMVFGmWvbTK7xP https://id.oclc.org/worldcat/ontology/hasWork Print version: Takeuti, Gaisi, 1926- Gēderu. English. Memoirs of a proof theorist. River Edge, NJ : World Scientific, 2003 9812382798 9789812382795 (DLC) 2003278179 (OCoLC)53469470 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235638 Volltext CBO01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235638 Volltext
spellingShingle	Takeuti, Gaisi, 1926-2017 Memoirs of a proof theorist : Gödel and other logicians / 1. On Gödel. 1.1. My fundamental conjecture and Gödel. 1.2. Gödel's mathematics. 1.3. The Gödelian "Boom" -- 2. Work of Paul Bernays and Kurt Gödel. 2.1. Bernays as a collaborator of Hilbert. 2.2. Set theory and proof theory of Bernays. 2.3. The completeness theorem of Gödel. 2.4. The incompleteness theorem of Gödel. 2.5. Gödel's method. 2.6. Gödel's set theory. 2.7. The continuum problem and unpublished works -- 3. Hilbert and Gödel. 3.1. The completeness theorem. 3.2. The incompleteness theorem. 3.3. Set theory. 3.4. Hilbert for Gödel. 3.5. Postscript -- 4. Short biographies of logicians. 4.1. Kurt Gödel. 4.2. A.A. Fraenkel and Paul Bernays. 4.3. Paul Erdös. 4.4. Alfred Tarski. 4.5. A. Heyting. 4.6. Alonzo Church. 4.7. S.C. Kleene. 4.8. Georg Kreisel -- 5. Set theory and related topics. 5.1. The meaning and significance of the axiom of determinateness. 5.2. The future and Gödel's obsession. 5.3. Set theory and computer science. 5.4. Summing-up -- 6. From Hilbert to Gödel. 6.1. Hilbert 1930. 6.2. Hilbert's Program. 6.3. Über das Unendliche. 6.4. The Hilbert School in 1930. 6.5. Gödel enters the arena. 6.6. The disintegration of Hilbert School -- 7. Axioms of arithmetic and consistency -- the second problem of Hilbert -- 8. A report from Gödel '96. 8.1. A program on a new axiom. 8.2. Gödel's program on the continuum. 8.3. On Hao Wang. 8.4. Gödel's theory of relativity. 8.5. Gödel in Brno -- 9. Having read "Gödel Remembered" -- 10. A tribute to the memory of Professor Gödel. Gödel, Kurt. http://id.loc.gov/authorities/names/n79007770 Gödel, Kurt fast https://id.oclc.org/worldcat/entity/E39PBJcWxmQRTDKHMpFdHmRFrq Proof theory. http://id.loc.gov/authorities/subjects/sh85107437 Théorie de la preuve. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Proof theory fast
subject_GND	http://id.loc.gov/authorities/names/n79007770 http://id.loc.gov/authorities/subjects/sh85107437
title	Memoirs of a proof theorist : Gödel and other logicians /
title_alt	Gēderu. Proof theorist
title_auth	Memoirs of a proof theorist : Gödel and other logicians /
title_exact_search	Memoirs of a proof theorist : Gödel and other logicians /
title_full	Memoirs of a proof theorist : Gödel and other logicians / [by Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.
title_fullStr	Memoirs of a proof theorist : Gödel and other logicians / [by Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.
title_full_unstemmed	Memoirs of a proof theorist : Gödel and other logicians / [by Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.
title_short	Memoirs of a proof theorist :
title_sort	memoirs of a proof theorist godel and other logicians
title_sub	Gödel and other logicians /
topic	Gödel, Kurt. http://id.loc.gov/authorities/names/n79007770 Gödel, Kurt fast https://id.oclc.org/worldcat/entity/E39PBJcWxmQRTDKHMpFdHmRFrq Proof theory. http://id.loc.gov/authorities/subjects/sh85107437 Théorie de la preuve. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Proof theory fast
topic_facet	Gödel, Kurt. Gödel, Kurt Proof theory. Théorie de la preuve. MATHEMATICS Infinity. MATHEMATICS Logic. Proof theory
url	https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235638
work_keys_str_mv	AT takeutigaisi gederu AT takeutigaisi memoirsofaprooftheoristgodelandotherlogicians AT takeutigaisi prooftheorist

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge