裤子 发表于 2025-3-26 23:06:03
https://doi.org/10.1007/978-3-319-10103-3Consistency Proof; Gentzen Formal Systems; Gentzen‘s Main Theorem; Ordinal Analysis; Proof Theory窗帘等 发表于 2025-3-27 01:59:24
http://reply.papertrans.cn/39/3831/383003/383003_32.pngAdherent 发表于 2025-3-27 09:05:01
http://reply.papertrans.cn/39/3831/383003/383003_33.png微枝末节 发表于 2025-3-27 13:00:18
https://doi.org/10.1007/978-3-642-50901-8e most metamathematical investigations are focused on carrying out mathematical reductions, we claim that in order to give a full substitute for Hilbert’s program, one should not stop with purely mathematical investigations, but give an answer to the question why one should believe that all theorems变异 发表于 2025-3-27 15:15:12
https://doi.org/10.1007/978-3-642-91605-2 that the consistency proof was based on an explicit semantic notion of correctness as . of sequents and a proof that steps of derivation maintain reducibility. A crucial point in the latter was Gentzen’s . that stated, in analogy to his famous ., that composition of sequents maintains reducibility.Acupressure 发表于 2025-3-27 21:09:56
Verbindung von Trägern mit Säulen method used in Gentzen’s second consistency proof. Gentzen explained the intuitive idea behind his proof by informally arguing for the possibility of a normalization theorem of natural deduction, but what he actually proved was a special case of the Hauptsatz for a sequent calculus formalization ofguzzle 发表于 2025-3-28 00:03:05
http://reply.papertrans.cn/39/3831/383003/383003_37.pngHAIL 发表于 2025-3-28 05:06:29
https://doi.org/10.1007/978-3-322-98670-2own as Goodstein sequences. This chapter revisits Goodstein’s 1944 paper. In light of new historical details found in a correspondence between Bernays and Goodstein, we address the question of how close Goodstein came to proving an independence result for .. We also present an elementary proof of th袖章 发表于 2025-3-28 06:40:00
http://reply.papertrans.cn/39/3831/383003/383003_39.pngCRUC 发表于 2025-3-28 14:29:53
http://reply.papertrans.cn/39/3831/383003/383003_40.png