柯里悖论
維基百科,自由的 encyclopedia
柯里悖论(Curry's paradox)[1]是一种悖论,由美国数理逻辑学家哈斯凯尔·布鲁克·柯里提出,并且以其命名。它也與马丁·雨果·洛布(英语:Martin Löb)的洛布定理(英语:Löb's theorem)有关,故也被称为洛布悖论。[2]
此條目需要編修,以確保文法、用詞、语气、格式、標點等使用恰当。 (2020年12月24日) |
柯里悖论(Curry's paradox)[1]是一种悖论,由美国数理逻辑学家哈斯凯尔·布鲁克·柯里提出,并且以其命名。它也與马丁·雨果·洛布(英语:Martin Löb)的洛布定理(英语:Löb's theorem)有关,故也被称为洛布悖论。[2]
此條目需要編修,以確保文法、用詞、语气、格式、標點等使用恰当。 (2020年12月24日) |