科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
J
Jan von Plato
university of helsinki
21
H指数
201
论文数
2.4K
被引数
0
相关解读
订阅
收录论文
3
发表时间
发表时间
IF
被引数
Gödel's First Proof of the Consistency of the Axiom of Choice
哥德尔关于选择公理一致性的第一种证明
HISTORY AND PHILOSOPHY OF LOGIC
IF
0
2025-09-01
0
OA
AI
Kanamori, Akihiro; von Plato, Jan
分享
收藏
90 Years of Gödel's Incompleteness Theorems: Historical and Philosophical Perspectives
90年以来的哥德尔不完备定理:历史与哲学视角
HISTORY AND PHILOSOPHY OF LOGIC
IF
0
2025-09-01
0
PRE
AI
Baaz, Matthias; Ertel, Marcel; Kahle, Reinhard; Piecha, Thomas; von Plato, Jan
分享
收藏
From mathematical axioms to mathematical rules of proof: recent developments in proof analysis
从数学公理到证明的数学规则: 证明分析的最新发展
PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES
IF
3.7
2019-01-21
2
OA
AI
Negri, Sara; von Plato, Jan
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
M
Matthias Baaz
H 指数: 29 · 论文数: 194
S
Sara Negri
H 指数: 23 · 论文数: 120
A
Akihiro Kanamori
H 指数: 14 · 论文数: 74
T
Thomas Piecha
H 指数: 10 · 论文数: 47
R
Reinhard Kähle
H 指数: 10 · 论文数: 138
查看更多