Jonas Becker Arenhart is an associate professor at Universidade Federal de Santa Catarina, Brazil.
In response to “Löb’s Theorem and Curry’s Paradox”
[short_description] In logic, difficulties arise when results use self-reference in their derivation. The challenge is to determine which of such results are respectable theorems and which are merely dangerous paradoxes.