Reflections on the foundations of mathematics: essays in honor of Solomon Feferman
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the fifteenth publication in the Lecture...
Gespeichert in:
| Weitere beteiligte Personen: | , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2016
|
| Schriftenreihe: | Lecture notes in logic
15 |
| Schlagwörter: | |
| Links: | https://doi.org/10.1017/9781316755983 https://doi.org/10.1017/9781316755983 https://doi.org/10.1017/9781316755983 |
| Zusammenfassung: | Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the fifteenth publication in the Lecture Notes in Logic series, collects papers presented at the symposium 'Reflections on the Foundations of Mathematics' held in celebration of Solomon Feferman's 70th birthday (The 'Feferfest') at Stanford University, California in 1988. Feferman has shaped the field of foundational research for nearly half a century. These papers reflect his broad interests as well as his approach to foundational research, which emphasizes the solution of mathematical and philosophical problems. There are four sections, covering proof theoretic analysis, logic and computation, applicative and self-applicative theories, and philosophy of modern mathematical and logic thought |
| Beschreibung: | Title from publisher's bibliographic system (viewed on 14 Apr 2017) |
| Umfang: | 1 online resource (viii, 444 pages) |
| ISBN: | 9781316755983 |
| DOI: | 10.1017/9781316755983 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044283928 | ||
| 003 | DE-604 | ||
| 005 | 20180131 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170425s2016 xx o|||| 11||| eng d | ||
| 020 | |a 9781316755983 |9 978-1-316-75598-3 | ||
| 024 | 7 | |a 10.1017/9781316755983 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9781316755983 | ||
| 035 | |a (OCoLC)992555956 | ||
| 035 | |a (DE-599)BVBBV044283928 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 | ||
| 082 | 0 | |a 511.3 | |
| 245 | 1 | 0 | |a Reflections on the foundations of mathematics |b essays in honor of Solomon Feferman |c edited by Wilfried Sieg, Richard Sommer, Carolyn Talcott |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2016 | |
| 300 | |a 1 online resource (viii, 444 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Lecture notes in logic |v 15 | |
| 500 | |a Title from publisher's bibliographic system (viewed on 14 Apr 2017) | ||
| 520 | |a Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the fifteenth publication in the Lecture Notes in Logic series, collects papers presented at the symposium 'Reflections on the Foundations of Mathematics' held in celebration of Solomon Feferman's 70th birthday (The 'Feferfest') at Stanford University, California in 1988. Feferman has shaped the field of foundational research for nearly half a century. These papers reflect his broad interests as well as his approach to foundational research, which emphasizes the solution of mathematical and philosophical problems. There are four sections, covering proof theoretic analysis, logic and computation, applicative and self-applicative theories, and philosophy of modern mathematical and logic thought | ||
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Logic, Symbolic and mathematical / Congresses | |
| 650 | 4 | |a Mathematics / Philosophy / Congresses | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Sieg, Wilfried |d 1945- |0 (DE-588)128682116 |4 edt | |
| 700 | 1 | |a Sommer, Richard |d 1961- |4 edt | |
| 700 | 1 | |a Talcott, Carolyn |4 edt | |
| 700 | 1 | |a Feferman, Solomon |4 hnr | |
| 856 | 4 | 0 | |u https://doi.org/10.1017/9781316755983 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029688232 | |
| 966 | e | |u https://doi.org/10.1017/9781316755983 |l DE-12 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781316755983 |l DE-92 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1818983167773638656 |
|---|---|
| any_adam_object | |
| author2 | Sieg, Wilfried 1945- Sommer, Richard 1961- Talcott, Carolyn |
| author2_role | edt edt edt |
| author2_variant | w s ws r s rs c t ct |
| author_GND | (DE-588)128682116 |
| author_facet | Sieg, Wilfried 1945- Sommer, Richard 1961- Talcott, Carolyn |
| building | Verbundindex |
| bvnumber | BV044283928 |
| collection | ZDB-20-CBO |
| ctrlnum | (ZDB-20-CBO)CR9781316755983 (OCoLC)992555956 (DE-599)BVBBV044283928 |
| 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 |
| doi_str_mv | 10.1017/9781316755983 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03007nam a2200517zcb4500</leader><controlfield tag="001">BV044283928</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180131 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170425s2016 xx o|||| 11||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781316755983</subfield><subfield code="9">978-1-316-75598-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/9781316755983</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9781316755983</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)992555956</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044283928</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-12</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reflections on the foundations of mathematics</subfield><subfield code="b">essays in honor of Solomon Feferman</subfield><subfield code="c">edited by Wilfried Sieg, Richard Sommer, Carolyn Talcott</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (viii, 444 pages)</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 in logic</subfield><subfield code="v">15</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 14 Apr 2017)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the fifteenth publication in the Lecture Notes in Logic series, collects papers presented at the symposium 'Reflections on the Foundations of Mathematics' held in celebration of Solomon Feferman's 70th birthday (The 'Feferfest') at Stanford University, California in 1988. Feferman has shaped the field of foundational research for nearly half a century. These papers reflect his broad interests as well as his approach to foundational research, which emphasizes the solution of mathematical and philosophical problems. There are four sections, covering proof theoretic analysis, logic and computation, applicative and self-applicative theories, and philosophy of modern mathematical and logic thought</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 / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics / Philosophy / Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Sieg, Wilfried</subfield><subfield code="d">1945-</subfield><subfield code="0">(DE-588)128682116</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sommer, Richard</subfield><subfield code="d">1961-</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Talcott, Carolyn</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Feferman, Solomon</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/9781316755983</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029688232</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781316755983</subfield><subfield code="l">DE-12</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781316755983</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044283928 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T17:58:49Z |
| institution | BVB |
| isbn | 9781316755983 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029688232 |
| oclc_num | 992555956 |
| open_access_boolean | |
| owner | DE-12 DE-92 |
| owner_facet | DE-12 DE-92 |
| physical | 1 online resource (viii, 444 pages) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | Lecture notes in logic |
| spelling | Reflections on the foundations of mathematics essays in honor of Solomon Feferman edited by Wilfried Sieg, Richard Sommer, Carolyn Talcott Cambridge Cambridge University Press 2016 1 online resource (viii, 444 pages) txt rdacontent c rdamedia cr rdacarrier Lecture notes in logic 15 Title from publisher's bibliographic system (viewed on 14 Apr 2017) Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the fifteenth publication in the Lecture Notes in Logic series, collects papers presented at the symposium 'Reflections on the Foundations of Mathematics' held in celebration of Solomon Feferman's 70th birthday (The 'Feferfest') at Stanford University, California in 1988. Feferman has shaped the field of foundational research for nearly half a century. These papers reflect his broad interests as well as his approach to foundational research, which emphasizes the solution of mathematical and philosophical problems. There are four sections, covering proof theoretic analysis, logic and computation, applicative and self-applicative theories, and philosophy of modern mathematical and logic thought Mathematik Philosophie Logic, Symbolic and mathematical / Congresses Mathematics / Philosophy / Congresses Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 Sieg, Wilfried 1945- (DE-588)128682116 edt Sommer, Richard 1961- edt Talcott, Carolyn edt Feferman, Solomon hnr https://doi.org/10.1017/9781316755983 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Reflections on the foundations of mathematics essays in honor of Solomon Feferman Mathematik Philosophie Logic, Symbolic and mathematical / Congresses Mathematics / Philosophy / Congresses Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)1071861417 |
| title | Reflections on the foundations of mathematics essays in honor of Solomon Feferman |
| title_auth | Reflections on the foundations of mathematics essays in honor of Solomon Feferman |
| title_exact_search | Reflections on the foundations of mathematics essays in honor of Solomon Feferman |
| title_full | Reflections on the foundations of mathematics essays in honor of Solomon Feferman edited by Wilfried Sieg, Richard Sommer, Carolyn Talcott |
| title_fullStr | Reflections on the foundations of mathematics essays in honor of Solomon Feferman edited by Wilfried Sieg, Richard Sommer, Carolyn Talcott |
| title_full_unstemmed | Reflections on the foundations of mathematics essays in honor of Solomon Feferman edited by Wilfried Sieg, Richard Sommer, Carolyn Talcott |
| title_short | Reflections on the foundations of mathematics |
| title_sort | reflections on the foundations of mathematics essays in honor of solomon feferman |
| title_sub | essays in honor of Solomon Feferman |
| topic | Mathematik Philosophie Logic, Symbolic and mathematical / Congresses Mathematics / Philosophy / Congresses Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Mathematik Philosophie Logic, Symbolic and mathematical / Congresses Mathematics / Philosophy / Congresses Mathematische Logik Konferenzschrift |
| url | https://doi.org/10.1017/9781316755983 |
| work_keys_str_mv | AT siegwilfried reflectionsonthefoundationsofmathematicsessaysinhonorofsolomonfeferman AT sommerrichard reflectionsonthefoundationsofmathematicsessaysinhonorofsolomonfeferman AT talcottcarolyn reflectionsonthefoundationsofmathematicsessaysinhonorofsolomonfeferman AT fefermansolomon reflectionsonthefoundationsofmathematicsessaysinhonorofsolomonfeferman |