Gödel '96 :: Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy /
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge :
Cambridge University Press,
2017.
|
| Schriftenreihe: | Lecture notes in logic ;
6. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | 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 sixth publication in the Lecture Notes in Logic series, collects the proceedings of the conference 'Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Gödel's Legacy', held in Brno, Czech Republic, on the 90th anniversary of Gödel's birth. The broad range of speakers who participated in this event affirms the continuing importance of Gödel's work in logic, physics, and the philosophy and foundations of mathematics and computer science. The papers in this volume range over all these topics and contribute to our present understanding of them. |
| Beschreibung: | 1 online resource |
| ISBN: | 9781316754740 131675474X |
Internformat
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn982287930 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu|||unuuu | ||
| 008 | 170413s2017 enk o 100 0 eng d | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d N$T |d YDX |d UIU |d OCLCF |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d S9M |d OCLCL |d OCLCQ | ||
| 019 | |a 982626309 | ||
| 020 | |a 9781316754740 |q (electronic bk.) | ||
| 020 | |a 131675474X |q (electronic bk.) | ||
| 020 | |z 1107168023 | ||
| 020 | |z 9781107168022 | ||
| 035 | |a (OCoLC)982287930 |z (OCoLC)982626309 | ||
| 050 | 4 | |a QA9.A1 | |
| 072 | 7 | |a MAT |x 000000 |2 bisacsh | |
| 082 | 7 | |a 511.3 |2 23 | |
| 049 | |a MAIN | ||
| 111 | 2 | |a Gödel '96 |d (1996 : |c Brno, Czech Republic) |0 http://id.loc.gov/authorities/names/n96057204 | |
| 245 | 1 | 0 | |a Gödel '96 : |b Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy / |c edited by Petr Hájek. |
| 264 | 1 | |a Cambridge : |b Cambridge University Press, |c 2017. | |
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in logic ; |v 6 | |
| 500 | |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 sixth publication in the Lecture Notes in Logic series, collects the proceedings of the conference 'Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Gödel's Legacy', held in Brno, Czech Republic, on the 90th anniversary of Gödel's birth. The broad range of speakers who participated in this event affirms the continuing importance of Gödel's work in logic, physics, and the philosophy and foundations of mathematics and computer science. The papers in this volume range over all these topics and contribute to our present understanding of them. | ||
| 588 | 0 | |a Online resource; title from PDF title page (EBSCO, viewed April 18, 2017). | |
| 650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. | |
| 650 | 0 | |a Mathematics |x Philosophy |v Congresses. | |
| 650 | 0 | |a Computer science |v Congresses. | |
| 650 | 0 | |a Mathematical physics |v Congresses. | |
| 650 | 6 | |a Logique symbolique et mathématique |v Congrès. | |
| 650 | 6 | |a Mathématiques |x Philosophie |v Congrès. | |
| 650 | 6 | |a Informatique |v Congrès. | |
| 650 | 6 | |a Physique mathématique |v Congrès. | |
| 650 | 7 | |a MATHEMATICS |x General. |2 bisacsh | |
| 650 | 7 | |a Lógica matemática |2 embne | |
| 650 | 7 | |a Computer science |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Mathematical physics |2 fast | |
| 650 | 7 | |a Mathematics |x Philosophy |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Hájek, Petr, |e editor. | |
| 758 | |i has work: |a Gödel '96 (Text) |1 https://id.oclc.org/worldcat/entity/E39PCXqRP8wxHmVdJHGmWxXHCP |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Gödel '96 (1996 : Brno, Czech Republic). |t Gödel '96. |d Cambridge : Cambridge University Press, 2017 |z 1107168023 |z 9781107168022 |w (OCoLC)959593562 |
| 830 | 0 | |a Lecture notes in logic ; |v 6. |0 http://id.loc.gov/authorities/names/n93082404 | |
| 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=1475796 |3 Volltext |
| 938 | |a EBSCOhost |b EBSC |n 1475796 | ||
| 938 | |a YBP Library Services |b YANK |n 14007741 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn982287930 |
|---|---|
| _version_ | 1816882385907613696 |
| adam_text | |
| any_adam_object | |
| author2 | Hájek, Petr |
| author2_role | edt |
| author2_variant | p h ph |
| author_corporate | Gödel '96 Brno, Czech Republic |
| author_corporate_role | |
| author_facet | Hájek, Petr Gödel '96 Brno, Czech Republic |
| author_sort | Gödel '96 Brno, Czech Republic |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.A1 |
| callnumber-search | QA9.A1 |
| callnumber-sort | QA 19 A1 |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)982287930 |
| 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 Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03561cam a2200625 i 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn982287930</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu|||unuuu</controlfield><controlfield tag="008">170413s2017 enk o 100 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">N$T</subfield><subfield code="d">YDX</subfield><subfield code="d">UIU</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">S9M</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">982626309</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781316754740</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">131675474X</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1107168023</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781107168022</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)982287930</subfield><subfield code="z">(OCoLC)982626309</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.A1</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">000000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Gödel '96</subfield><subfield code="d">(1996 :</subfield><subfield code="c">Brno, Czech Republic)</subfield><subfield code="0">http://id.loc.gov/authorities/names/n96057204</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Gödel '96 :</subfield><subfield code="b">Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy /</subfield><subfield code="c">edited by Petr Hájek.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge :</subfield><subfield code="b">Cambridge University Press,</subfield><subfield code="c">2017.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource</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="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in logic ;</subfield><subfield code="v">6</subfield></datafield><datafield tag="500" 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 sixth publication in the Lecture Notes in Logic series, collects the proceedings of the conference 'Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Gödel's Legacy', held in Brno, Czech Republic, on the 90th anniversary of Gödel's birth. The broad range of speakers who participated in this event affirms the continuing importance of Gödel's work in logic, physics, and the philosophy and foundations of mathematics and computer science. The papers in this volume range over all these topics and contribute to our present understanding of them.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Online resource; title from PDF title page (EBSCO, viewed April 18, 2017).</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Mathematics</subfield><subfield code="x">Philosophy</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer science</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Mathematical physics</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Mathématiques</subfield><subfield code="x">Philosophie</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Informatique</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Physique mathématique</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lógica matemática</subfield><subfield code="2">embne</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer science</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">Mathematical physics</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematics</subfield><subfield code="x">Philosophy</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Conference papers and proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hájek, Petr,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Gödel '96 (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCXqRP8wxHmVdJHGmWxXHCP</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">Gödel '96 (1996 : Brno, Czech Republic).</subfield><subfield code="t">Gödel '96.</subfield><subfield code="d">Cambridge : Cambridge University Press, 2017</subfield><subfield code="z">1107168023</subfield><subfield code="z">9781107168022</subfield><subfield code="w">(OCoLC)959593562</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in logic ;</subfield><subfield code="v">6.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n93082404</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=1475796</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">1475796</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">14007741</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> |
| genre | Conference papers and proceedings fast |
| genre_facet | Conference papers and proceedings |
| id | ZDB-4-EBA-ocn982287930 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-27T13:27:47Z |
| institution | BVB |
| institution_GND | http://id.loc.gov/authorities/names/n96057204 |
| isbn | 9781316754740 131675474X |
| language | English |
| oclc_num | 982287930 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource |
| psigel | ZDB-4-EBA |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | Cambridge University Press, |
| record_format | marc |
| series | Lecture notes in logic ; |
| series2 | Lecture notes in logic ; |
| spelling | Gödel '96 (1996 : Brno, Czech Republic) http://id.loc.gov/authorities/names/n96057204 Gödel '96 : Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy / edited by Petr Hájek. Cambridge : Cambridge University Press, 2017. 1 online resource text txt rdacontent computer c rdamedia online resource cr rdacarrier Lecture notes in logic ; 6 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 sixth publication in the Lecture Notes in Logic series, collects the proceedings of the conference 'Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Gödel's Legacy', held in Brno, Czech Republic, on the 90th anniversary of Gödel's birth. The broad range of speakers who participated in this event affirms the continuing importance of Gödel's work in logic, physics, and the philosophy and foundations of mathematics and computer science. The papers in this volume range over all these topics and contribute to our present understanding of them. Online resource; title from PDF title page (EBSCO, viewed April 18, 2017). Logic, Symbolic and mathematical Congresses. Mathematics Philosophy Congresses. Computer science Congresses. Mathematical physics Congresses. Logique symbolique et mathématique Congrès. Mathématiques Philosophie Congrès. Informatique Congrès. Physique mathématique Congrès. MATHEMATICS General. bisacsh Lógica matemática embne Computer science fast Logic, Symbolic and mathematical fast Mathematical physics fast Mathematics Philosophy fast Conference papers and proceedings fast Hájek, Petr, editor. has work: Gödel '96 (Text) https://id.oclc.org/worldcat/entity/E39PCXqRP8wxHmVdJHGmWxXHCP https://id.oclc.org/worldcat/ontology/hasWork Print version: Gödel '96 (1996 : Brno, Czech Republic). Gödel '96. Cambridge : Cambridge University Press, 2017 1107168023 9781107168022 (OCoLC)959593562 Lecture notes in logic ; 6. http://id.loc.gov/authorities/names/n93082404 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475796 Volltext |
| spellingShingle | Gödel '96 : Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy / Lecture notes in logic ; Logic, Symbolic and mathematical Congresses. Mathematics Philosophy Congresses. Computer science Congresses. Mathematical physics Congresses. Logique symbolique et mathématique Congrès. Mathématiques Philosophie Congrès. Informatique Congrès. Physique mathématique Congrès. MATHEMATICS General. bisacsh Lógica matemática embne Computer science fast Logic, Symbolic and mathematical fast Mathematical physics fast Mathematics Philosophy fast |
| title | Gödel '96 : Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy / |
| title_auth | Gödel '96 : Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy / |
| title_exact_search | Gödel '96 : Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy / |
| title_full | Gödel '96 : Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy / edited by Petr Hájek. |
| title_fullStr | Gödel '96 : Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy / edited by Petr Hájek. |
| title_full_unstemmed | Gödel '96 : Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy / edited by Petr Hájek. |
| title_short | Gödel '96 : |
| title_sort | godel 96 logical foundations of mathematics computer science and physics kurt godel s legacy |
| title_sub | Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy / |
| topic | Logic, Symbolic and mathematical Congresses. Mathematics Philosophy Congresses. Computer science Congresses. Mathematical physics Congresses. Logique symbolique et mathématique Congrès. Mathématiques Philosophie Congrès. Informatique Congrès. Physique mathématique Congrès. MATHEMATICS General. bisacsh Lógica matemática embne Computer science fast Logic, Symbolic and mathematical fast Mathematical physics fast Mathematics Philosophy fast |
| topic_facet | Logic, Symbolic and mathematical Congresses. Mathematics Philosophy Congresses. Computer science Congresses. Mathematical physics Congresses. Logique symbolique et mathématique Congrès. Mathématiques Philosophie Congrès. Informatique Congrès. Physique mathématique Congrès. MATHEMATICS General. Lógica matemática Computer science Logic, Symbolic and mathematical Mathematical physics Mathematics Philosophy Conference papers and proceedings |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475796 |
| work_keys_str_mv | AT godel96brnoczechrepublic godel96logicalfoundationsofmathematicscomputerscienceandphysicskurtgodelslegacy AT hajekpetr godel96logicalfoundationsofmathematicscomputerscienceandphysicskurtgodelslegacy |