######### Topic INDEX #########

Logic

2 Articles

Latest

######### Card Article Topic MAIN a #########

Löb’s Theorem and Curry’s Paradox

Graham Priest

[long_description] 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.

######### Card Article Topic MAIN b #########

Psychological Fidelity

Allyn Jackson

[short_description] Never a mathematical star during his lifetime, Emil Post created and pursued his research ideas largely on his own. Allyn Jackson describes Post’s tragic life and an array of remarkable contributions.

Copyright © Inference 2025

ISSN #2576–4403