Infinity and truth:
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
[Hackensack] New Jersey
World Scientific
[2014]
|
| Schriftenreihe: | Lecture notes series (National University of Singapore. Institute for Mathematical Sciences)
v.25 |
| Schlagworte: | |
| Online-Zugang: | FAW01 FAW02 Volltext |
| Beschreibung: | "A Workshop on Infinity and Truth was held at the Institute for Mathematical Sciences from 25 to 29 July 2011"--Preface Online resource; title from PDF title page (ebrary, viewed February 24, 2014) |
| Beschreibung: | 1 online resource (ix, 234 pages) illustrations |
| ISBN: | 9789814571036 9789814571043 9814571032 9814571040 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043032862 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151120s2014 |||| o||u| ||||||eng d | ||
| 020 | |a 9789814571036 |9 978-981-4571-03-6 | ||
| 020 | |a 9789814571043 |9 978-981-4571-04-3 | ||
| 020 | |a 9814571032 |9 981-4571-03-2 | ||
| 020 | |a 9814571040 |9 981-4571-04-0 | ||
| 035 | |a (OCoLC)869735434 | ||
| 035 | |a (DE-599)BVBBV043032862 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 510.1 |2 23 | |
| 110 | 2 | |a Workshop on Infinity and Truth <2011, Institute for Mathematical Sciences, Singapore> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Infinity and truth |c editors, Chitat Chong, Qi Feng, National University of Singapore, Theodore A. Slaman, W. Hugh Woodin, University of California, Berkeley, USA. |
| 264 | 1 | |a [Hackensack] New Jersey |b World Scientific |c [2014] | |
| 264 | 4 | |c © 2014 | |
| 300 | |a 1 online resource (ix, 234 pages) |b illustrations | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Lecture notes series (National University of Singapore. Institute for Mathematical Sciences) |v v.25 | |
| 500 | |a "A Workshop on Infinity and Truth was held at the Institute for Mathematical Sciences from 25 to 29 July 2011"--Preface | ||
| 500 | |a Online resource; title from PDF title page (ebrary, viewed February 24, 2014) | ||
| 505 | 8 | |a Section I. Invited lectures. Absoluteness, truth, and quotients / Ilijas Farah -- A multiverse perspective on the axiom of constructibility / Joel David Hamkins -- Hilbert, Bourbaki and the scorning of logic / A.R.D. Mathias -- Toward objectivity in mathematics / Stephen G. Simpson -- Sort logic and foundations of mathematics / Jouko Väänänen -- Reasoning about constructive concepts / Nik Weaver -- Perfect infinities and finite approximation / Boris Zilber -- Section II. Special session. An objective justification for actual infinity? / Stephen G. Simpson -- Oracle questions / Theodore Slaman and W. Hugh Woodin | |
| 505 | 8 | |a This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical Sciences, National University of Singapore, from 25 to 29 July 2011. The chapters are by leading experts in mathematical and philosophical logic that examine various aspects of the foundations of mathematics. The theme of the volume focuses on two basic foundational questions: (i) What is the nature of mathematical truth and how does one resolve questions that are formally unsolvable within the Zermelo-Fraenkel set theory with the axiom of choice, and (ii) Do the discoveries in mathematics provide evidence favoring one philosophical view over others? These issues are discussed from the vantage point of recent progresses in foundational studies. The final chapter features questions proposed by the participants of the workshop that will drive foundational research. The wide range of topics covered here will be of benefit to students, researchers and mathematicians interested in the foundations of mathematics | |
| 650 | 7 | |a MATHEMATICS / Essays |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Pre-Calculus |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Reference |2 bisacsh | |
| 650 | 7 | |a Axiomatic set theory |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Mathematics / Philosophy |2 fast | |
| 650 | 7 | |a Set theory |2 fast | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Congresses | |
| 650 | 4 | |a Mathematics |x Philosophy |v Congresses | |
| 650 | 4 | |a Set theory |v Congresses | |
| 650 | 4 | |a Axiomatic set theory |v Congresses | |
| 650 | 0 | 7 | |a Unendlichkeit |0 (DE-588)4136067-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wahrheitstheorie |0 (DE-588)4127146-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | 1 | |a Unendlichkeit |0 (DE-588)4136067-9 |D s |
| 689 | 0 | 2 | |a Wahrheitstheorie |0 (DE-588)4127146-4 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Chong, C.-T. |e Sonstige |4 oth | |
| 700 | 1 | |a Feng, Qi |d 1955- |4 edt | |
| 700 | 1 | |a Slaman, T. A. |e Sonstige |4 oth | |
| 700 | 1 | |a Woodin, W. H. |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |a Infinity and truth |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=689751 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028457512 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=689751 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=689751 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175390494687232 |
|---|---|
| any_adam_object | |
| author2 | Feng, Qi 1955- |
| author2_role | edt |
| author2_variant | q f qf |
| author_corporate | Workshop on Infinity and Truth <2011, Institute for Mathematical Sciences, Singapore> |
| author_corporate_role | aut |
| author_facet | Feng, Qi 1955- Workshop on Infinity and Truth <2011, Institute for Mathematical Sciences, Singapore> |
| author_sort | Workshop on Infinity and Truth <2011, Institute for Mathematical Sciences, Singapore> |
| building | Verbundindex |
| bvnumber | BV043032862 |
| collection | ZDB-4-EBA |
| contents | Section I. Invited lectures. Absoluteness, truth, and quotients / Ilijas Farah -- A multiverse perspective on the axiom of constructibility / Joel David Hamkins -- Hilbert, Bourbaki and the scorning of logic / A.R.D. Mathias -- Toward objectivity in mathematics / Stephen G. Simpson -- Sort logic and foundations of mathematics / Jouko Väänänen -- Reasoning about constructive concepts / Nik Weaver -- Perfect infinities and finite approximation / Boris Zilber -- Section II. Special session. An objective justification for actual infinity? / Stephen G. Simpson -- Oracle questions / Theodore Slaman and W. Hugh Woodin This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical Sciences, National University of Singapore, from 25 to 29 July 2011. The chapters are by leading experts in mathematical and philosophical logic that examine various aspects of the foundations of mathematics. The theme of the volume focuses on two basic foundational questions: (i) What is the nature of mathematical truth and how does one resolve questions that are formally unsolvable within the Zermelo-Fraenkel set theory with the axiom of choice, and (ii) Do the discoveries in mathematics provide evidence favoring one philosophical view over others? These issues are discussed from the vantage point of recent progresses in foundational studies. The final chapter features questions proposed by the participants of the workshop that will drive foundational research. The wide range of topics covered here will be of benefit to students, researchers and mathematicians interested in the foundations of mathematics |
| ctrlnum | (OCoLC)869735434 (DE-599)BVBBV043032862 |
| dewey-full | 510.1 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510.1 |
| dewey-search | 510.1 |
| dewey-sort | 3510.1 |
| 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>04998nmm a2200745zcb4500</leader><controlfield tag="001">BV043032862</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151120s2014 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789814571036</subfield><subfield code="9">978-981-4571-03-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789814571043</subfield><subfield code="9">978-981-4571-04-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9814571032</subfield><subfield code="9">981-4571-03-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9814571040</subfield><subfield code="9">981-4571-04-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)869735434</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043032862</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">Workshop on Infinity and Truth <2011, Institute for Mathematical Sciences, Singapore></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Infinity and truth</subfield><subfield code="c">editors, Chitat Chong, Qi Feng, National University of Singapore, Theodore A. Slaman, W. Hugh Woodin, University of California, Berkeley, USA.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Hackensack] New Jersey</subfield><subfield code="b">World Scientific</subfield><subfield code="c">[2014]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (ix, 234 pages)</subfield><subfield code="b">illustrations</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="490" ind1="0" ind2=" "><subfield code="a">Lecture notes series (National University of Singapore. Institute for Mathematical Sciences)</subfield><subfield code="v">v.25</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"A Workshop on Infinity and Truth was held at the Institute for Mathematical Sciences from 25 to 29 July 2011"--Preface</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Online resource; title from PDF title page (ebrary, viewed February 24, 2014)</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Section I. Invited lectures. Absoluteness, truth, and quotients / Ilijas Farah -- A multiverse perspective on the axiom of constructibility / Joel David Hamkins -- Hilbert, Bourbaki and the scorning of logic / A.R.D. Mathias -- Toward objectivity in mathematics / Stephen G. Simpson -- Sort logic and foundations of mathematics / Jouko Väänänen -- Reasoning about constructive concepts / Nik Weaver -- Perfect infinities and finite approximation / Boris Zilber -- Section II. Special session. An objective justification for actual infinity? / Stephen G. Simpson -- Oracle questions / Theodore Slaman and W. Hugh Woodin</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical Sciences, National University of Singapore, from 25 to 29 July 2011. The chapters are by leading experts in mathematical and philosophical logic that examine various aspects of the foundations of mathematics. The theme of the volume focuses on two basic foundational questions: (i) What is the nature of mathematical truth and how does one resolve questions that are formally unsolvable within the Zermelo-Fraenkel set theory with the axiom of choice, and (ii) Do the discoveries in mathematics provide evidence favoring one philosophical view over others? These issues are discussed from the vantage point of recent progresses in foundational studies. The final chapter features questions proposed by the participants of the workshop that will drive foundational research. The wide range of topics covered here will be of benefit to students, researchers and mathematicians interested in the foundations of mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Essays</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Pre-Calculus</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Reference</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Axiomatic set theory</subfield><subfield code="2">fast</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">Mathematics / Philosophy</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Set theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield><subfield code="x">Philosophy</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Set theory</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Axiomatic set theory</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Unendlichkeit</subfield><subfield code="0">(DE-588)4136067-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wahrheitstheorie</subfield><subfield code="0">(DE-588)4127146-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Unendlichkeit</subfield><subfield code="0">(DE-588)4136067-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Wahrheitstheorie</subfield><subfield code="0">(DE-588)4127146-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">Chong, C.-T.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Feng, Qi</subfield><subfield code="d">1955-</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Slaman, T. A.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Woodin, W. H.</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="a">Infinity and truth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=689751</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028457512</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://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=689751</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=689751</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043032862 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:15:32Z |
| institution | BVB |
| isbn | 9789814571036 9789814571043 9814571032 9814571040 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028457512 |
| oclc_num | 869735434 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 online resource (ix, 234 pages) illustrations |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | World Scientific |
| record_format | marc |
| series2 | Lecture notes series (National University of Singapore. Institute for Mathematical Sciences) |
| spelling | Workshop on Infinity and Truth <2011, Institute for Mathematical Sciences, Singapore> Verfasser aut Infinity and truth editors, Chitat Chong, Qi Feng, National University of Singapore, Theodore A. Slaman, W. Hugh Woodin, University of California, Berkeley, USA. [Hackensack] New Jersey World Scientific [2014] © 2014 1 online resource (ix, 234 pages) illustrations txt rdacontent c rdamedia cr rdacarrier Lecture notes series (National University of Singapore. Institute for Mathematical Sciences) v.25 "A Workshop on Infinity and Truth was held at the Institute for Mathematical Sciences from 25 to 29 July 2011"--Preface Online resource; title from PDF title page (ebrary, viewed February 24, 2014) Section I. Invited lectures. Absoluteness, truth, and quotients / Ilijas Farah -- A multiverse perspective on the axiom of constructibility / Joel David Hamkins -- Hilbert, Bourbaki and the scorning of logic / A.R.D. Mathias -- Toward objectivity in mathematics / Stephen G. Simpson -- Sort logic and foundations of mathematics / Jouko Väänänen -- Reasoning about constructive concepts / Nik Weaver -- Perfect infinities and finite approximation / Boris Zilber -- Section II. Special session. An objective justification for actual infinity? / Stephen G. Simpson -- Oracle questions / Theodore Slaman and W. Hugh Woodin This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical Sciences, National University of Singapore, from 25 to 29 July 2011. The chapters are by leading experts in mathematical and philosophical logic that examine various aspects of the foundations of mathematics. The theme of the volume focuses on two basic foundational questions: (i) What is the nature of mathematical truth and how does one resolve questions that are formally unsolvable within the Zermelo-Fraenkel set theory with the axiom of choice, and (ii) Do the discoveries in mathematics provide evidence favoring one philosophical view over others? These issues are discussed from the vantage point of recent progresses in foundational studies. The final chapter features questions proposed by the participants of the workshop that will drive foundational research. The wide range of topics covered here will be of benefit to students, researchers and mathematicians interested in the foundations of mathematics MATHEMATICS / Essays bisacsh MATHEMATICS / Pre-Calculus bisacsh MATHEMATICS / Reference bisacsh Axiomatic set theory fast Logic, Symbolic and mathematical fast Mathematics / Philosophy fast Set theory fast Mathematik Philosophie Logic, Symbolic and mathematical Congresses Mathematics Philosophy Congresses Set theory Congresses Axiomatic set theory Congresses Unendlichkeit (DE-588)4136067-9 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Wahrheitstheorie (DE-588)4127146-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Mathematik (DE-588)4037944-9 s Unendlichkeit (DE-588)4136067-9 s Wahrheitstheorie (DE-588)4127146-4 s 1\p DE-604 Chong, C.-T. Sonstige oth Feng, Qi 1955- edt Slaman, T. A. Sonstige oth Woodin, W. H. Sonstige oth Erscheint auch als Druck-Ausgabe Infinity and truth http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=689751 Aggregator Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Infinity and truth Section I. Invited lectures. Absoluteness, truth, and quotients / Ilijas Farah -- A multiverse perspective on the axiom of constructibility / Joel David Hamkins -- Hilbert, Bourbaki and the scorning of logic / A.R.D. Mathias -- Toward objectivity in mathematics / Stephen G. Simpson -- Sort logic and foundations of mathematics / Jouko Väänänen -- Reasoning about constructive concepts / Nik Weaver -- Perfect infinities and finite approximation / Boris Zilber -- Section II. Special session. An objective justification for actual infinity? / Stephen G. Simpson -- Oracle questions / Theodore Slaman and W. Hugh Woodin This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical Sciences, National University of Singapore, from 25 to 29 July 2011. The chapters are by leading experts in mathematical and philosophical logic that examine various aspects of the foundations of mathematics. The theme of the volume focuses on two basic foundational questions: (i) What is the nature of mathematical truth and how does one resolve questions that are formally unsolvable within the Zermelo-Fraenkel set theory with the axiom of choice, and (ii) Do the discoveries in mathematics provide evidence favoring one philosophical view over others? These issues are discussed from the vantage point of recent progresses in foundational studies. The final chapter features questions proposed by the participants of the workshop that will drive foundational research. The wide range of topics covered here will be of benefit to students, researchers and mathematicians interested in the foundations of mathematics MATHEMATICS / Essays bisacsh MATHEMATICS / Pre-Calculus bisacsh MATHEMATICS / Reference bisacsh Axiomatic set theory fast Logic, Symbolic and mathematical fast Mathematics / Philosophy fast Set theory fast Mathematik Philosophie Logic, Symbolic and mathematical Congresses Mathematics Philosophy Congresses Set theory Congresses Axiomatic set theory Congresses Unendlichkeit (DE-588)4136067-9 gnd Mathematik (DE-588)4037944-9 gnd Wahrheitstheorie (DE-588)4127146-4 gnd |
| subject_GND | (DE-588)4136067-9 (DE-588)4037944-9 (DE-588)4127146-4 (DE-588)1071861417 |
| title | Infinity and truth |
| title_auth | Infinity and truth |
| title_exact_search | Infinity and truth |
| title_full | Infinity and truth editors, Chitat Chong, Qi Feng, National University of Singapore, Theodore A. Slaman, W. Hugh Woodin, University of California, Berkeley, USA. |
| title_fullStr | Infinity and truth editors, Chitat Chong, Qi Feng, National University of Singapore, Theodore A. Slaman, W. Hugh Woodin, University of California, Berkeley, USA. |
| title_full_unstemmed | Infinity and truth editors, Chitat Chong, Qi Feng, National University of Singapore, Theodore A. Slaman, W. Hugh Woodin, University of California, Berkeley, USA. |
| title_short | Infinity and truth |
| title_sort | infinity and truth |
| topic | MATHEMATICS / Essays bisacsh MATHEMATICS / Pre-Calculus bisacsh MATHEMATICS / Reference bisacsh Axiomatic set theory fast Logic, Symbolic and mathematical fast Mathematics / Philosophy fast Set theory fast Mathematik Philosophie Logic, Symbolic and mathematical Congresses Mathematics Philosophy Congresses Set theory Congresses Axiomatic set theory Congresses Unendlichkeit (DE-588)4136067-9 gnd Mathematik (DE-588)4037944-9 gnd Wahrheitstheorie (DE-588)4127146-4 gnd |
| topic_facet | MATHEMATICS / Essays MATHEMATICS / Pre-Calculus MATHEMATICS / Reference Axiomatic set theory Logic, Symbolic and mathematical Mathematics / Philosophy Set theory Mathematik Philosophie Logic, Symbolic and mathematical Congresses Mathematics Philosophy Congresses Set theory Congresses Axiomatic set theory Congresses Unendlichkeit Wahrheitstheorie Konferenzschrift |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=689751 |
| work_keys_str_mv | AT workshoponinfinityandtruth2011instituteformathematicalsciencessingapore infinityandtruth AT chongct infinityandtruth AT fengqi infinityandtruth AT slamanta infinityandtruth AT woodinwh infinityandtruth |