Levelheaded 发表于 2025-3-21 19:44:51

书目名称Internal Logic影响因子(影响力)<br>        http://figure.impactfactor.cn/if/?ISSN=BK0471216<br><br>        <br><br>书目名称Internal Logic影响因子(影响力)学科排名<br>        http://figure.impactfactor.cn/ifr/?ISSN=BK0471216<br><br>        <br><br>书目名称Internal Logic网络公开度<br>        http://figure.impactfactor.cn/at/?ISSN=BK0471216<br><br>        <br><br>书目名称Internal Logic网络公开度学科排名<br>        http://figure.impactfactor.cn/atr/?ISSN=BK0471216<br><br>        <br><br>书目名称Internal Logic被引频次<br>        http://figure.impactfactor.cn/tc/?ISSN=BK0471216<br><br>        <br><br>书目名称Internal Logic被引频次学科排名<br>        http://figure.impactfactor.cn/tcr/?ISSN=BK0471216<br><br>        <br><br>书目名称Internal Logic年度引用<br>        http://figure.impactfactor.cn/ii/?ISSN=BK0471216<br><br>        <br><br>书目名称Internal Logic年度引用学科排名<br>        http://figure.impactfactor.cn/iir/?ISSN=BK0471216<br><br>        <br><br>书目名称Internal Logic读者反馈<br>        http://figure.impactfactor.cn/5y/?ISSN=BK0471216<br><br>        <br><br>书目名称Internal Logic读者反馈学科排名<br>        http://figure.impactfactor.cn/5yr/?ISSN=BK0471216<br><br>        <br><br>

eczema 发表于 2025-3-21 22:42:29

The Consistency of Arithmetic Revisited,atural numbers . to the rationals . through the integers . to the real numbers .. The progression is the one that Kronecker in his . (1887a) had shown to proceed from the concept of number alone in his general arithmetic. This « arithmetic continuation » as I would like to call it, is the core of Kr

FLOAT 发表于 2025-3-22 02:55:39

http://reply.papertrans.cn/48/4713/471216/471216_3.png

opinionated 发表于 2025-3-22 08:09:44

Hilbert and the Foundations of Physics,ncy problem, because a fundamental physical theory proceeds like geometry from general axioms to more specific ones and the extension from the first principles to the secondary ones must preserve consistency. Consistency is not a matter of feeling or experimentation, but of logic, Hilbert insists, a

collateral 发表于 2025-3-22 12:46:44

http://reply.papertrans.cn/48/4713/471216/471216_5.png

腼腆 发表于 2025-3-22 13:33:27

http://reply.papertrans.cn/48/4713/471216/471216_6.png

管理员 发表于 2025-3-22 17:30:02

Yvon Gauthieris success at NASA, Mueller returned to industry. Although he did not play a leading role in human spaceflight again, in 2011 the National Air and Space Museum awarded him their lifetime achievement trophy for 978-1-4614-3700-0978-1-4614-3701-7

coagulate 发表于 2025-3-22 22:47:39

0166-6991 ivist mathematics. It may also be of interest to historians, since it covers a fifty-year period, from 1880 to 1930, which has been crucial in the foundational debates and their repercussions on the contemporary scene. .978-90-481-6052-5978-94-017-0083-2Series ISSN 0166-6991 Series E-ISSN 2542-8292

蛛丝 发表于 2025-3-23 04:09:07

http://reply.papertrans.cn/48/4713/471216/471216_9.png

横截,横断 发表于 2025-3-23 07:56:02

http://reply.papertrans.cn/48/4713/471216/471216_10.png
页: [1] 2 3 4
查看完整版本: Titlebook: Internal Logic; Foundations of Mathe Yvon Gauthier Book 2002 Springer Science+Business Media B.V. 2002 Arithmetic.Cantor.Finite.logic.mathe