Where is the Gödel-point hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals /
Saved in:
Author / Creator: | Horská, Anna, author. |
---|---|
Imprint: | Cham : Springer, 2014. |
Description: | 1 online resource (ix, 77 pages). |
Language: | English |
Series: | SpringerBriefs in Philosophy, 2211-4548 SpringerBriefs in philosophy, |
Subject: | |
Format: | E-Resource Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11081871 |
MARC
LEADER | 00000cam a2200000Ki 4500 | ||
---|---|---|---|
001 | 11081871 | ||
005 | 20170630044537.2 | ||
006 | m o d | ||
007 | cr cnu|||unuuu | ||
008 | 131206s2014 sz ob 001 0 eng d | ||
003 | ICU | ||
040 | |a GW5XE |b eng |e rda |e pn |c GW5XE |d YDXCP |d N$T |d COO |d CDX |d OCLCF |d BEDGE |d OCLCQ |d JG0 |d Z5A | ||
020 | |a 9783319021713 |q (electronic bk.) | ||
020 | |a 3319021710 |q (electronic bk.) | ||
020 | |z 9783319021706 | ||
024 | 7 | |a 10.1007/978-3-319-02171-3 |2 doi | |
035 | |a (OCoLC)864753888 | ||
050 | 4 | |a QA9.54 | |
072 | 7 | |a HPL |2 bicssc | |
072 | 7 | |a PHI011000 |2 bisacsh | |
072 | 7 | |a MAT |x 000000 |2 bisacsh | |
049 | |a MAIN | ||
100 | 1 | |a Horská, Anna, |e author. |1 http://viaf.org/viaf/311382102 | |
245 | 1 | 0 | |a Where is the Gödel-point hiding : |b Gentzen's consistency proof of 1936 and his representation of constructive ordinals / |c Anna Horská. |
264 | 1 | |a Cham : |b Springer, |c 2014. | |
300 | |a 1 online resource (ix, 77 pages). | ||
336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
337 | |a computer |b c |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/c | ||
338 | |a online resource |b cr |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/cr | ||
490 | 1 | |a SpringerBriefs in Philosophy, |x 2211-4548 | |
505 | 0 | |a Preliminaries -- Ordinal numbers -- Consistency proof. | |
504 | |a Includes bibliographical references and index. | ||
520 | |a This book explains the first published consistency proof of PA. It contains the original Gentzen's proof, but it uses modern terminology and examples to illustrate the essential notions. The author comments on Gentzen's steps which are supplemented with exact calculations and parts of formal derivations. A notable aspect of the proof is the representation of ordinal numbers that was developed by Gentzen. This representation is analysed and connection to set-theoretical representation is found, namely an algorithm for translating Gentzen's notation into Cantor normal form. The topic should interest researchers and students who work on proof theory, history of proof theory or Hilbert's program and who do not mind reading mathematical texts. | ||
588 | 0 | |a Online resource; title from PDF title page (SpringerLink, viewed October 28, 2013). | |
650 | 0 | |a Proof theory. |0 http://id.loc.gov/authorities/subjects/sh85107437 | |
650 | 0 | |a Numbers, Ordinal. |0 http://id.loc.gov/authorities/subjects/sh85093216 | |
650 | 0 | |a Gödel numbers. |0 http://id.loc.gov/authorities/subjects/sh85055600 | |
650 | 1 | 4 | |a Philosophy. |
650 | 2 | 4 | |a Logic. |
650 | 2 | 4 | |a Mathematical Logic and Foundations. |
650 | 7 | |a MATHEMATICS |x General. |2 bisacsh | |
650 | 7 | |a Droit. |2 eclas | |
650 | 7 | |a Sciences sociales. |2 eclas | |
650 | 7 | |a Sciences humaines. |2 eclas | |
650 | 7 | |a Gödel numbers. |2 fast |0 (OCoLC)fst00949805 | |
650 | 7 | |a Numbers, Ordinal. |2 fast |0 (OCoLC)fst01041239 | |
650 | 7 | |a Proof theory. |2 fast |0 (OCoLC)fst01078942 | |
655 | 4 | |a Electronic books. | |
830 | 0 | |a SpringerBriefs in philosophy, |x 2211-4548 |0 http://id.loc.gov/authorities/names/no2011108020 | |
856 | 4 | 0 | |u http://link.springer.com/10.1007/978-3-319-02171-3 |y SpringerLink |
903 | |a HeVa | ||
929 | |a eresource | ||
999 | f | f | |i 6eb12fe8-21a2-57c1-a14a-b045b2c2739e |s 277f2116-bd96-5166-a8ce-674db8df5cda |
928 | |t Library of Congress classification |a QA9.54 |l Online |c UC-FullText |u http://link.springer.com/10.1007/978-3-319-02171-3 |z SpringerLink |g ebooks |i 9892102 |