Löb’s Theorem and Curry’s Paradox
If a sentence says of itself that it is not true, there is little choice but to take it for its word. But what if a sentence says of itself that it is true, or, in any case, provable? Logically, there is an inconsistency in proving this statement. Martin Löb and Haskell Curry were two mathematical logicians who sought to examine this question.
2006 ◽
Vol 36
(2)
◽
pp. 155-179
◽
2013 ◽
Vol 110
(3)
◽
pp. 143-165
◽
1955 ◽
Vol 33
(3)
◽
pp. 177-182
◽