Two Open Problems and a Conjecture in Mathematical Logic
K.K. Nambiar · CogPrints (University of Southampton) · 2002
ABSTRACT. The first open problem is concerned with introducing three derivation rules in predicate calculus and the second one suggests a solution for the continuum hypothesis. The conjecture says that there will always be profound questions in any significant theory, over and above those suggested by Gödel’s incompleteness theorems.