top of page



A conceptual math model that proves the improbability of knowing what you’re doing

The human body is a sophisticated and responsive module capable of intermediating, detecting, and deciphering variables outside the realm of its awareness. Solvermath uses relational math to reveal an absence of relation between sense-informed response and sense of knowing. The project is inspired by Gödel's theorems concerning the limits of provability which say that “it is impossible to give a meta-mathematical proof of the consistency of a system comprehensive enough to contain the whole of arithmetic unless the proof itself implies rules of inference different in certain essential respects from the transformation rules used for deriving theorems within the system” and that “any other system within which arithmetic can be developed, is essentially incomplete because there are true number-theoretical statements that cannot be derived in the system.”

N I N A  A. I S A B E L L E 

bottom of page