气候 发表于 2025-3-23 10:50:36

http://reply.papertrans.cn/39/3831/383003/383003_11.png

原告 发表于 2025-3-23 14:42:57

Book 2015e-evaluations of Gentzen’s original consistency proofs to the most recent developments in proof theory. Gentzen founded modern proof theory. His sequent calculus and natural deduction system beautifully explain the deep symmetries of logic. They underlie modern developments in computer science such as automated theorem proving and type theory.   .

倾听 发表于 2025-3-23 20:03:41

https://doi.org/10.1007/978-3-642-93604-3t. In a letter to Bernays dated November 4, 1935, Gentzen protested this evaluation; but then, in another letter to him dated December 11, 1935, he admits that the ‘critical inference in my consistency proof is defective’.

一瞥 发表于 2025-3-24 00:32:27

http://reply.papertrans.cn/39/3831/383003/383003_14.png

誓言 发表于 2025-3-24 04:33:21

http://reply.papertrans.cn/39/3831/383003/383003_15.png

Altitude 发表于 2025-3-24 08:01:13

http://reply.papertrans.cn/39/3831/383003/383003_16.png

Stable-Angina 发表于 2025-3-24 12:52:00

http://reply.papertrans.cn/39/3831/383003/383003_17.png

流浪 发表于 2025-3-24 18:34:50

http://reply.papertrans.cn/39/3831/383003/383003_18.png

reptile 发表于 2025-3-24 21:25:41

http://reply.papertrans.cn/39/3831/383003/383003_19.png

纬度 发表于 2025-3-25 02:57:30

https://doi.org/10.1007/978-3-642-91399-0In this article we study subsystems .. of the theory .. in which fixed point induction is restricted to properly stratified formulas.
页: 1 [2] 3 4 5 6
查看完整版本: Titlebook: Gentzen‘s Centenary; The Quest for Consis Reinhard Kahle,Michael Rathjen Book 2015 Springer International Publishing Switzerland 2015 Consi