Latest

• ######### Contributor Article Content #########
  ######### Card Contributor Article #########

  Logic Löb’s Theorem and Curry’s Paradox [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.

  ---