Memoirs of a proof theorist: Gödel and other logicians
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 conta...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Singapore
World Scientific Pub. Co.
c2003
|
| Schlagworte: | |
| Online-Zugang: | FHN01 Volltext |
| Zusammenfassung: | 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 |
| Beschreibung: | xviii, 135 p. ports |
| ISBN: | 9789812795359 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044635691 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 171120s2003 |||| o||u| ||||||eng d | ||
| 020 | |a 9789812795359 |c electronic bk. |9 978-981-279-535-9 | ||
| 024 | 7 | |a 10.1142/5202 |2 doi | |
| 035 | |a (ZDB-124-WOP)00003544 | ||
| 035 | |a (OCoLC)1012713341 | ||
| 035 | |a (DE-599)BVBBV044635691 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-92 | ||
| 082 | 0 | |a 511.36 |2 22 | |
| 084 | |a CI 2305 |0 (DE-625)18393:11798 |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Takeuti, Gaisi |d 1926- |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Memoirs of a proof theorist |b Gödel and other logicians |c [by Gaisi Takeuti] ; [translated by] Mariko Yasugi, Nicholas Passell |
| 264 | 1 | |a Singapore |b World Scientific Pub. Co. |c c2003 | |
| 300 | |a xviii, 135 p. |b ports | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 520 | |a 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 | ||
| 600 | 1 | 4 | |a Gödel, Kurt |
| 600 | 1 | 7 | |a Gödel, Kurt |d 1906-1978 |0 (DE-588)11869569X |2 gnd |9 rswk-swf |
| 650 | 4 | |a Proof theory | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Gödel, Kurt |d 1906-1978 |0 (DE-588)11869569X |D p |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Yasugi, Mariko |e Sonstige |4 oth | |
| 700 | 1 | |a Passell, Nicholas |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9789812382795 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9812382798 |
| 856 | 4 | 0 | |u http://www.worldscientific.com/worldscibooks/10.1142/5202#t=toc |x Verlag |z URL des Erstveroeffentlichers |3 Volltext |
| 912 | |a ZDB-124-WOP | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030033663 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://www.worldscientific.com/worldscibooks/10.1142/5202#t=toc |l FHN01 |p ZDB-124-WOP |q FHN_PDA_WOP |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804178049078394880 |
|---|---|
| any_adam_object | |
| author | Takeuti, Gaisi 1926- |
| author_facet | Takeuti, Gaisi 1926- |
| author_role | aut |
| author_sort | Takeuti, Gaisi 1926- |
| author_variant | g t gt |
| building | Verbundindex |
| bvnumber | BV044635691 |
| classification_rvk | CI 2305 SK 130 |
| collection | ZDB-124-WOP |
| ctrlnum | (ZDB-124-WOP)00003544 (OCoLC)1012713341 (DE-599)BVBBV044635691 |
| dewey-full | 511.36 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.36 |
| dewey-search | 511.36 |
| dewey-sort | 3511.36 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02556nmm a2200505zc 4500</leader><controlfield tag="001">BV044635691</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">171120s2003 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812795359</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-981-279-535-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1142/5202</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-124-WOP)00003544</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1012713341</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044635691</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.36</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CI 2305</subfield><subfield code="0">(DE-625)18393:11798</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Takeuti, Gaisi</subfield><subfield code="d">1926-</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Memoirs of a proof theorist</subfield><subfield code="b">Gödel and other logicians</subfield><subfield code="c">[by Gaisi Takeuti] ; [translated by] Mariko Yasugi, Nicholas Passell</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">World Scientific Pub. Co.</subfield><subfield code="c">c2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xviii, 135 p.</subfield><subfield code="b">ports</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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</subfield></datafield><datafield tag="600" ind1="1" ind2="4"><subfield code="a">Gödel, Kurt</subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Gödel, Kurt</subfield><subfield code="d">1906-1978</subfield><subfield code="0">(DE-588)11869569X</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Gödel, Kurt</subfield><subfield code="d">1906-1978</subfield><subfield code="0">(DE-588)11869569X</subfield><subfield code="D">p</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Yasugi, Mariko</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Passell, Nicholas</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9789812382795</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9812382798</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/5202#t=toc</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveroeffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-124-WOP</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030033663</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/5202#t=toc</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-124-WOP</subfield><subfield code="q">FHN_PDA_WOP</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV044635691 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:57:47Z |
| institution | BVB |
| isbn | 9789812795359 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030033663 |
| oclc_num | 1012713341 |
| open_access_boolean | |
| owner | DE-92 |
| owner_facet | DE-92 |
| physical | xviii, 135 p. ports |
| psigel | ZDB-124-WOP ZDB-124-WOP FHN_PDA_WOP |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | World Scientific Pub. Co. |
| record_format | marc |
| spelling | Takeuti, Gaisi 1926- Verfasser aut Memoirs of a proof theorist Gödel and other logicians [by Gaisi Takeuti] ; [translated by] Mariko Yasugi, Nicholas Passell Singapore World Scientific Pub. Co. c2003 xviii, 135 p. ports txt rdacontent c rdamedia cr rdacarrier 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 Gödel, Kurt Gödel, Kurt 1906-1978 (DE-588)11869569X gnd rswk-swf Proof theory Logik (DE-588)4036202-4 gnd rswk-swf Gödel, Kurt 1906-1978 (DE-588)11869569X p Logik (DE-588)4036202-4 s 1\p DE-604 Yasugi, Mariko Sonstige oth Passell, Nicholas Sonstige oth Erscheint auch als Druck-Ausgabe 9789812382795 Erscheint auch als Druck-Ausgabe 9812382798 http://www.worldscientific.com/worldscibooks/10.1142/5202#t=toc Verlag URL des Erstveroeffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Takeuti, Gaisi 1926- Memoirs of a proof theorist Gödel and other logicians Gödel, Kurt Gödel, Kurt 1906-1978 (DE-588)11869569X gnd Proof theory Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)11869569X (DE-588)4036202-4 |
| title | Memoirs of a proof theorist Gödel and other logicians |
| title_auth | Memoirs of a proof theorist Gödel and other logicians |
| title_exact_search | Memoirs of a proof theorist Gödel and other logicians |
| title_full | Memoirs of a proof theorist Gödel and other logicians [by Gaisi Takeuti] ; [translated by] Mariko Yasugi, Nicholas Passell |
| title_fullStr | Memoirs of a proof theorist Gödel and other logicians [by Gaisi Takeuti] ; [translated by] Mariko Yasugi, Nicholas Passell |
| title_full_unstemmed | Memoirs of a proof theorist Gö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 | Gödel and other logicians |
| topic | Gödel, Kurt Gödel, Kurt 1906-1978 (DE-588)11869569X gnd Proof theory Logik (DE-588)4036202-4 gnd |
| topic_facet | Gödel, Kurt Gödel, Kurt 1906-1978 Proof theory Logik |
| url | http://www.worldscientific.com/worldscibooks/10.1142/5202#t=toc |
| work_keys_str_mv | AT takeutigaisi memoirsofaprooftheoristgodelandotherlogicians AT yasugimariko memoirsofaprooftheoristgodelandotherlogicians AT passellnicholas memoirsofaprooftheoristgodelandotherlogicians |