中文
Sign in
AI tools
聊天
热门问题
时间线
Loading AI tools
全部
文章
字典
引用
地图
Martin Löb
来自维基百科,自由的百科全书
Found in articles
柯里悖论
柯里悖论(英語:Curry's paradox)是一种悖论,由美国数理逻辑学家哈斯凯尔·柯里提出,并且以其命名。它也與马丁·雨果·洛布(英语:
Martin
Löb
)的洛布定理(英语:
L
ö
b
's theorem)有关,故也被称为洛布悖论。 对于这样一个条件语句C:「若C,則F」,只需要一些显然无害的逻辑推导规则,就
佩尔·马丁-洛夫
佩尔·埃里克·罗格·马丁-洛夫(瑞典語:Per Erik Rutger
Martin
-
L
ö
f,1942年5月8日—),瑞典逻辑学家、数理统计学家和哲学家。他以其在概率论基础方面的工作而闻名。自20世纪70年代以后,他的工作主要集中在逻辑学方面。在哲学逻辑方面,他的研究专注于蕴涵及判断学说,并在一定
直觉类型论
Curry-Howard同构 直觉逻辑 构造演算 Per
Martin
-
L
ö
f 类型论 Bengt Nordstr?m; Kent Petersson; Jan M. Smith (1990). Programming in
Martin
-
L
?f's Type Theory. Oxford University
B3结构域
doi:10.1105/tpc.104.026112. Riechmann JL, Heard J,
Martin
G, Reuber
L
, Jiang C, Keddie J, Adam
L
, Pineda O, Ratcliffe OJ, Samaha RR, Creelman R, Pilgrim
埃地语
Rade于《民族语》的链接(第18版,2015年) Bih于《民族语》的链接(第18版,2015年) Hammarstr
ö
m, Harald; Forkel, Robert; Haspelmath,
Martin
; Bank, Sebastian (编). Rade. Glottolog 2.7. Jena: Max