In the light of logic /:
In this collection of essays written over a period of twenty years, Solomon Feferman explains advanced results in modern logic and employs them to cast light on significant problems in the foundations of mathematics. Most troubling among these is the revolutionary way in which Georg Cantor elaborate...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
New York :
Oxford University Press,
©1998.
|
| Schriftenreihe: | Logic and computation in philosophy.
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | In this collection of essays written over a period of twenty years, Solomon Feferman explains advanced results in modern logic and employs them to cast light on significant problems in the foundations of mathematics. Most troubling among these is the revolutionary way in which Georg Cantor elaborated the nature of the infinite, and in doing so helped transform the face of twentieth-century mathematics. Feferman details the development of Cantorian concepts and the foundational difficulties they engendered. He argues that the freedom provided by Cantorian set theory was purchased at a heavy philosophical price, namely adherence to a form of mathematical platonism that is difficult to support. |
| Beschreibung: | 1 online resource (xii, 340 pages) |
| Bibliographie: | Includes bibliographical references (pages 309-330) and index. |
| ISBN: | 058535829X 9780585358291 1280443308 9781280443305 9786610443307 6610443300 0195359836 9780195359831 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocm47011516 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 010320s1998 nyu ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCL |d OCLCQ |d TUU |d OCLCQ |d TNF |d OCLCO |d OCLCQ |d OCLCF |d NHA |d OCLCQ |d NLGGC |d OCLCQ |d ADU |d E7B |d UV0 |d DKDLA |d QT5 |d YDXCP |d OCLCQ |d AZK |d JBG |d LOA |d MWM |d OCLCQ |d COCUF |d AGLDB |d MOR |d PLS |d PIFBR |d S3O |d OCLCQ |d SAV |d QT7 |d U3W |d LUE |d STF |d WRM |d VTS |d NRAMU |d OCLCQ |d INT |d VT2 |d TOF |d OCLCQ |d WYU |d TKN |d OCLCQ |d M8D |d HS0 |d OCLCO |d OCLCQ |d YDX |d OCLCO |d OCLCL | ||
| 019 | |a 228117335 |a 475360086 |a 533244715 |a 614795830 |a 646735739 |a 722380392 |a 888684061 |a 961637417 |a 961690307 |a 962597968 |a 962647489 |a 1109371180 |a 1162234503 |a 1241820257 |a 1290037140 | ||
| 020 | |a 058535829X |q (electronic bk.) | ||
| 020 | |a 9780585358291 |q (electronic bk.) | ||
| 020 | |a 1280443308 | ||
| 020 | |a 9781280443305 | ||
| 020 | |a 9786610443307 | ||
| 020 | |a 6610443300 | ||
| 020 | |a 0195359836 | ||
| 020 | |a 9780195359831 | ||
| 020 | |z 0195080300 |q (acid-free paper) | ||
| 035 | |a (OCoLC)47011516 |z (OCoLC)228117335 |z (OCoLC)475360086 |z (OCoLC)533244715 |z (OCoLC)614795830 |z (OCoLC)646735739 |z (OCoLC)722380392 |z (OCoLC)888684061 |z (OCoLC)961637417 |z (OCoLC)961690307 |z (OCoLC)962597968 |z (OCoLC)962647489 |z (OCoLC)1109371180 |z (OCoLC)1162234503 |z (OCoLC)1241820257 |z (OCoLC)1290037140 | ||
| 050 | 4 | |a QA9.2 |b .F44 1998eb | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 082 | 7 | |a 511.3 |2 21 | |
| 084 | |a Dca/DR |2 kssb/6 | ||
| 084 | |a Ta:d/DR |2 kssb/6 | ||
| 049 | |a MAIN | ||
| 100 | 1 | |a Feferman, Solomon. |0 http://id.loc.gov/authorities/names/n81134818 | |
| 245 | 1 | 0 | |a In the light of logic / |c Solomon Feferman. |
| 260 | |a New York : |b Oxford University Press, |c ©1998. | ||
| 300 | |a 1 online resource (xii, 340 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file | ||
| 490 | 1 | |a Logic and computation in philosophy | |
| 504 | |a Includes bibliographical references (pages 309-330) and index. | ||
| 520 | |a In this collection of essays written over a period of twenty years, Solomon Feferman explains advanced results in modern logic and employs them to cast light on significant problems in the foundations of mathematics. Most troubling among these is the revolutionary way in which Georg Cantor elaborated the nature of the infinite, and in doing so helped transform the face of twentieth-century mathematics. Feferman details the development of Cantorian concepts and the foundational difficulties they engendered. He argues that the freedom provided by Cantorian set theory was purchased at a heavy philosophical price, namely adherence to a form of mathematical platonism that is difficult to support. | ||
| 505 | 0 | 0 | |g I. Foundational Problems. |t Deciding the undecidable: Wrestling with Hilbert's problems. |t Infinity in mathematics: Is Cantor necessary? -- |g II. Foundational Ways. |t The logic of mathematical discovery versus the logical structure of mathematics. |t Foundational ways. |t Working foundations -- |g III. Godel. |t Godel's life and work. |t Kurt Godel: Conviction and caution. |t Introductory note to Godel's 1933 lecture -- |g IV. Proof Theory. |t What does logic have to tell us about mathematical proofs? |t What rests on what? The proof-theoretic analysis of mathematics. |t Godel's Dialectica interpretation and its two-way stretch -- |g V. Countably Reducible Mathematics. |t Infinity in mathematics: Is Cantor necessary? (Conclusion). |
| 588 | 0 | |a Print version record. | |
| 546 | |a English. | ||
| 650 | 0 | |a Logic, Symbolic and mathematical. |0 http://id.loc.gov/authorities/subjects/sh85078115 | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Matematisk logik. |2 sao | |
| 758 | |i has work: |a In the light of logic (Text) |1 https://id.oclc.org/worldcat/entity/E39PCH34Xk3Jd3KqGtqVtGdQpX |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Feferman, Solomon. |t In the light of logic. |d New York : Oxford University Press, ©1998 |z 0195080300 |w (DLC) 97051336 |w (OCoLC)38144368 |
| 830 | 0 | |a Logic and computation in philosophy. |0 http://id.loc.gov/authorities/names/n92105574 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=23626 |3 Volltext |
| 936 | |a BATCHLOAD | ||
| 938 | |a YBP Library Services |b YANK |n 20447173 | ||
| 938 | |a ebrary |b EBRY |n ebr10086864 | ||
| 938 | |a EBSCOhost |b EBSC |n 23626 | ||
| 938 | |a YBP Library Services |b YANK |n 2769589 | ||
| 938 | |a YBP Library Services |b YANK |n 7119443 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocm47011516 |
|---|---|
| _version_ | 1816881596390703104 |
| adam_text | |
| any_adam_object | |
| author | Feferman, Solomon |
| author_GND | http://id.loc.gov/authorities/names/n81134818 |
| author_facet | Feferman, Solomon |
| author_role | |
| author_sort | Feferman, Solomon |
| author_variant | s f sf |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.2 .F44 1998eb |
| callnumber-search | QA9.2 .F44 1998eb |
| callnumber-sort | QA 19.2 F44 41998EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Deciding the undecidable: Wrestling with Hilbert's problems. Infinity in mathematics: Is Cantor necessary? -- The logic of mathematical discovery versus the logical structure of mathematics. Foundational ways. Working foundations -- Godel's life and work. Kurt Godel: Conviction and caution. Introductory note to Godel's 1933 lecture -- What does logic have to tell us about mathematical proofs? What rests on what? The proof-theoretic analysis of mathematics. Godel's Dialectica interpretation and its two-way stretch -- Infinity in mathematics: Is Cantor necessary? (Conclusion). |
| ctrlnum | (OCoLC)47011516 |
| 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>04786cam a2200697 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocm47011516 </controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">010320s1998 nyu ob 001 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">OCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">TUU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">TNF</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">NHA</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">NLGGC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">ADU</subfield><subfield code="d">E7B</subfield><subfield code="d">UV0</subfield><subfield code="d">DKDLA</subfield><subfield code="d">QT5</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AZK</subfield><subfield code="d">JBG</subfield><subfield code="d">LOA</subfield><subfield code="d">MWM</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">COCUF</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MOR</subfield><subfield code="d">PLS</subfield><subfield code="d">PIFBR</subfield><subfield code="d">S3O</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">SAV</subfield><subfield code="d">QT7</subfield><subfield code="d">U3W</subfield><subfield code="d">LUE</subfield><subfield code="d">STF</subfield><subfield code="d">WRM</subfield><subfield code="d">VTS</subfield><subfield code="d">NRAMU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">INT</subfield><subfield code="d">VT2</subfield><subfield code="d">TOF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">TKN</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">M8D</subfield><subfield code="d">HS0</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">YDX</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">228117335</subfield><subfield code="a">475360086</subfield><subfield code="a">533244715</subfield><subfield code="a">614795830</subfield><subfield code="a">646735739</subfield><subfield code="a">722380392</subfield><subfield code="a">888684061</subfield><subfield code="a">961637417</subfield><subfield code="a">961690307</subfield><subfield code="a">962597968</subfield><subfield code="a">962647489</subfield><subfield code="a">1109371180</subfield><subfield code="a">1162234503</subfield><subfield code="a">1241820257</subfield><subfield code="a">1290037140</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">058535829X</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780585358291</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1280443308</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781280443305</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786610443307</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6610443300</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0195359836</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780195359831</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0195080300</subfield><subfield code="q">(acid-free paper)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)47011516</subfield><subfield code="z">(OCoLC)228117335</subfield><subfield code="z">(OCoLC)475360086</subfield><subfield code="z">(OCoLC)533244715</subfield><subfield code="z">(OCoLC)614795830</subfield><subfield code="z">(OCoLC)646735739</subfield><subfield code="z">(OCoLC)722380392</subfield><subfield code="z">(OCoLC)888684061</subfield><subfield code="z">(OCoLC)961637417</subfield><subfield code="z">(OCoLC)961690307</subfield><subfield code="z">(OCoLC)962597968</subfield><subfield code="z">(OCoLC)962647489</subfield><subfield code="z">(OCoLC)1109371180</subfield><subfield code="z">(OCoLC)1162234503</subfield><subfield code="z">(OCoLC)1241820257</subfield><subfield code="z">(OCoLC)1290037140</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.2</subfield><subfield code="b">.F44 1998eb</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">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">Dca/DR</subfield><subfield code="2">kssb/6</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">Ta:d/DR</subfield><subfield code="2">kssb/6</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Feferman, Solomon.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n81134818</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">In the light of logic /</subfield><subfield code="c">Solomon Feferman.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">New York :</subfield><subfield code="b">Oxford University Press,</subfield><subfield code="c">©1998.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xii, 340 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="347" ind1=" " ind2=" "><subfield code="a">data file</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Logic and computation in philosophy</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 309-330) and index.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">In this collection of essays written over a period of twenty years, Solomon Feferman explains advanced results in modern logic and employs them to cast light on significant problems in the foundations of mathematics. Most troubling among these is the revolutionary way in which Georg Cantor elaborated the nature of the infinite, and in doing so helped transform the face of twentieth-century mathematics. Feferman details the development of Cantorian concepts and the foundational difficulties they engendered. He argues that the freedom provided by Cantorian set theory was purchased at a heavy philosophical price, namely adherence to a form of mathematical platonism that is difficult to support.</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="g">I. Foundational Problems.</subfield><subfield code="t">Deciding the undecidable: Wrestling with Hilbert's problems.</subfield><subfield code="t">Infinity in mathematics: Is Cantor necessary? --</subfield><subfield code="g">II. Foundational Ways.</subfield><subfield code="t">The logic of mathematical discovery versus the logical structure of mathematics.</subfield><subfield code="t">Foundational ways.</subfield><subfield code="t">Working foundations --</subfield><subfield code="g">III. Godel.</subfield><subfield code="t">Godel's life and work.</subfield><subfield code="t">Kurt Godel: Conviction and caution.</subfield><subfield code="t">Introductory note to Godel's 1933 lecture --</subfield><subfield code="g">IV. Proof Theory.</subfield><subfield code="t">What does logic have to tell us about mathematical proofs?</subfield><subfield code="t">What rests on what? The proof-theoretic analysis of mathematics.</subfield><subfield code="t">Godel's Dialectica interpretation and its two-way stretch --</subfield><subfield code="g">V. Countably Reducible Mathematics.</subfield><subfield code="t">Infinity in mathematics: Is Cantor necessary? (Conclusion).</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85078115</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique symbolique et mathématique.</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">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Matematisk logik.</subfield><subfield code="2">sao</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">In the light of logic (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCH34Xk3Jd3KqGtqVtGdQpX</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">Feferman, Solomon.</subfield><subfield code="t">In the light of logic.</subfield><subfield code="d">New York : Oxford University Press, ©1998</subfield><subfield code="z">0195080300</subfield><subfield code="w">(DLC) 97051336</subfield><subfield code="w">(OCoLC)38144368</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Logic and computation in philosophy.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n92105574</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><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=23626</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="936" ind1=" " ind2=" "><subfield code="a">BATCHLOAD</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">20447173</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10086864</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">23626</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2769589</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">7119443</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><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-4-EBA-ocm47011516 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-27T13:15:14Z |
| institution | BVB |
| isbn | 058535829X 9780585358291 1280443308 9781280443305 9786610443307 6610443300 0195359836 9780195359831 |
| language | English |
| oclc_num | 47011516 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (xii, 340 pages) |
| psigel | ZDB-4-EBA |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Oxford University Press, |
| record_format | marc |
| series | Logic and computation in philosophy. |
| series2 | Logic and computation in philosophy |
| spelling | Feferman, Solomon. http://id.loc.gov/authorities/names/n81134818 In the light of logic / Solomon Feferman. New York : Oxford University Press, ©1998. 1 online resource (xii, 340 pages) text txt rdacontent computer c rdamedia online resource cr rdacarrier data file Logic and computation in philosophy Includes bibliographical references (pages 309-330) and index. In this collection of essays written over a period of twenty years, Solomon Feferman explains advanced results in modern logic and employs them to cast light on significant problems in the foundations of mathematics. Most troubling among these is the revolutionary way in which Georg Cantor elaborated the nature of the infinite, and in doing so helped transform the face of twentieth-century mathematics. Feferman details the development of Cantorian concepts and the foundational difficulties they engendered. He argues that the freedom provided by Cantorian set theory was purchased at a heavy philosophical price, namely adherence to a form of mathematical platonism that is difficult to support. I. Foundational Problems. Deciding the undecidable: Wrestling with Hilbert's problems. Infinity in mathematics: Is Cantor necessary? -- II. Foundational Ways. The logic of mathematical discovery versus the logical structure of mathematics. Foundational ways. Working foundations -- III. Godel. Godel's life and work. Kurt Godel: Conviction and caution. Introductory note to Godel's 1933 lecture -- IV. Proof Theory. What does logic have to tell us about mathematical proofs? What rests on what? The proof-theoretic analysis of mathematics. Godel's Dialectica interpretation and its two-way stretch -- V. Countably Reducible Mathematics. Infinity in mathematics: Is Cantor necessary? (Conclusion). Print version record. English. Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Logique symbolique et mathématique. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast Matematisk logik. sao has work: In the light of logic (Text) https://id.oclc.org/worldcat/entity/E39PCH34Xk3Jd3KqGtqVtGdQpX https://id.oclc.org/worldcat/ontology/hasWork Print version: Feferman, Solomon. In the light of logic. New York : Oxford University Press, ©1998 0195080300 (DLC) 97051336 (OCoLC)38144368 Logic and computation in philosophy. http://id.loc.gov/authorities/names/n92105574 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=23626 Volltext |
| spellingShingle | Feferman, Solomon In the light of logic / Logic and computation in philosophy. Deciding the undecidable: Wrestling with Hilbert's problems. Infinity in mathematics: Is Cantor necessary? -- The logic of mathematical discovery versus the logical structure of mathematics. Foundational ways. Working foundations -- Godel's life and work. Kurt Godel: Conviction and caution. Introductory note to Godel's 1933 lecture -- What does logic have to tell us about mathematical proofs? What rests on what? The proof-theoretic analysis of mathematics. Godel's Dialectica interpretation and its two-way stretch -- Infinity in mathematics: Is Cantor necessary? (Conclusion). Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Logique symbolique et mathématique. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast Matematisk logik. sao |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85078115 |
| title | In the light of logic / |
| title_alt | Deciding the undecidable: Wrestling with Hilbert's problems. Infinity in mathematics: Is Cantor necessary? -- The logic of mathematical discovery versus the logical structure of mathematics. Foundational ways. Working foundations -- Godel's life and work. Kurt Godel: Conviction and caution. Introductory note to Godel's 1933 lecture -- What does logic have to tell us about mathematical proofs? What rests on what? The proof-theoretic analysis of mathematics. Godel's Dialectica interpretation and its two-way stretch -- Infinity in mathematics: Is Cantor necessary? (Conclusion). |
| title_auth | In the light of logic / |
| title_exact_search | In the light of logic / |
| title_full | In the light of logic / Solomon Feferman. |
| title_fullStr | In the light of logic / Solomon Feferman. |
| title_full_unstemmed | In the light of logic / Solomon Feferman. |
| title_short | In the light of logic / |
| title_sort | in the light of logic |
| topic | Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Logique symbolique et mathématique. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast Matematisk logik. sao |
| topic_facet | Logic, Symbolic and mathematical. Logique symbolique et mathématique. MATHEMATICS Infinity. MATHEMATICS Logic. Logic, Symbolic and mathematical Matematisk logik. |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=23626 |
| work_keys_str_mv | AT fefermansolomon inthelightoflogic |