现任者
发表于 2025-3-23 11:53:20
http://reply.papertrans.cn/48/4713/471216/471216_11.png
famine
发表于 2025-3-23 17:00:36
The Internal Consistency of Arithmetic with Infinite Descent,finite induction and “internal” means that infinite descent will be shown to be self-consistent. I call this arithmetic with infinite descent Fermat arithmetic (.) to contrast it with Peano arithmetic (.) (see Gauthier, 1989). The main idea is to translate logic into arithmetic via a polynomial inte
Hiatus
发表于 2025-3-23 19:09:13
http://reply.papertrans.cn/48/4713/471216/471216_13.png
蚊子
发表于 2025-3-24 00:22:29
Hilbert and the Foundations of Physics,ibutes he claimed for his own general arithmetic. The same Kirchhoff furnished to Hilbert a radiation theory for his early work on foundations of physics (Hilbert, 1965, III, 217–257). What we call now Kirchhoff’s law on the equality between rates of emission and absorbtion of energy in thermal equi
Abduct
发表于 2025-3-24 03:09:00
Conclusion. Internal Logic : From Kronecker to Hilbert and Beyond,nent of arithmetic and is readily identified to the inferential structure of arithmetic. Internal logic becomes arithmetical or polynomial logic — or modular logic as we shall say later on. The internal structure can be exhibited with the help of ordinary logic (Hilbert says Aristotelian logic) or i
谦卑
发表于 2025-3-24 08:48:15
http://reply.papertrans.cn/48/4713/471216/471216_16.png
Carminative
发表于 2025-3-24 13:41:28
Yvon Gauthierew approaches to NASA.Gives historical perspectives of the A.Apollo was known for its engineering triumphs, but its success also came from a disciplined management style. This excellent account of one of the most important personalities in early American human spaceflight history describes for the f
青石板
发表于 2025-3-24 18:27:07
http://reply.papertrans.cn/48/4713/471216/471216_18.png
负担
发表于 2025-3-24 22:05:32
http://reply.papertrans.cn/48/4713/471216/471216_19.png
好色
发表于 2025-3-25 01:49:10
http://reply.papertrans.cn/48/4713/471216/471216_20.png