期刊书目 › BOOKS with Alphabet W (Wa, Wb,Wc, We…) › Titlebook: Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Const; Anna Horská Book 2014 The Author(s)

贬损 发表于 2025-3-21 16:42:50

书目名称Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Const影响因子(影响力)<br>        http://figure.impactfactor.cn/if/?ISSN=BK1027933<br><br>        <br><br>书目名称Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Const影响因子(影响力)学科排名<br>        http://figure.impactfactor.cn/ifr/?ISSN=BK1027933<br><br>        <br><br>书目名称Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Const网络公开度<br>        http://figure.impactfactor.cn/at/?ISSN=BK1027933<br><br>        <br><br>书目名称Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Const网络公开度学科排名<br>        http://figure.impactfactor.cn/atr/?ISSN=BK1027933<br><br>        <br><br>书目名称Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Const被引频次<br>        http://figure.impactfactor.cn/tc/?ISSN=BK1027933<br><br>        <br><br>书目名称Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Const被引频次学科排名<br>        http://figure.impactfactor.cn/tcr/?ISSN=BK1027933<br><br>        <br><br>书目名称Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Const年度引用<br>        http://figure.impactfactor.cn/ii/?ISSN=BK1027933<br><br>        <br><br>书目名称Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Const年度引用学科排名<br>        http://figure.impactfactor.cn/iir/?ISSN=BK1027933<br><br>        <br><br>书目名称Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Const读者反馈<br>        http://figure.impactfactor.cn/5y/?ISSN=BK1027933<br><br>        <br><br>书目名称Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Const读者反馈学科排名<br>        http://figure.impactfactor.cn/5yr/?ISSN=BK1027933<br><br>        <br><br>

Flu表流动 发表于 2025-3-21 22:43:13

http://reply.papertrans.cn/103/10280/1027933/1027933_2.png

祖传 发表于 2025-3-22 03:54:11

Anna HorskáUnique detailed explanation of the first published consistency proof of PA (peano arithmetic).Includes Gentzen‘s unusual notation for ordinal numbers up to e_0 and its connection to Cantor normal form

Oligarchy 发表于 2025-3-22 05:20:32

Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Const978-3-319-02171-3Series ISSN 2211-4548 Series E-ISSN 2211-4556

LAVE 发表于 2025-3-22 09:06:51

http://reply.papertrans.cn/103/10280/1027933/1027933_5.png

命令变成大炮 发表于 2025-3-22 16:46:55

Preliminaries,nts sequents whose validity can be decided. Reduction steps for sequents, whose task is to reduce sequents to endform, are presented. Furthermore, an algorithm for reducing initial sequents to endform is defined and a detailed overview of the consistency proof is given. The chapter ends with a modif

MAIM 发表于 2025-3-22 19:36:08

Ordinal Numbers,n about the ordering of the numbers in Gentzen’s notation are introduced. The relationship between Gentzen’s representation and Cantor normal form is analysed with the help of systems . and a recursive algorithm for translating Gentzen’s notation to Cantor normal form is defined. Furthermore, correc

affect 发表于 2025-3-22 23:13:58

http://reply.papertrans.cn/103/10280/1027933/1027933_8.png

GLIDE 发表于 2025-3-23 04:42:18

http://reply.papertrans.cn/103/10280/1027933/1027933_9.png

Patrimony 发表于 2025-3-23 08:12:08

http://reply.papertrans.cn/103/10280/1027933/1027933_10.png

查看完整版本: Titlebook: Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Const; Anna Horská Book 2014 The Author(s)