TY  - GEN
ID  - cogprints2044
UR  - http://cogprints.org/2044/
A1  - Nambiar, Kannan
TI  - Two Open Problems and a Conjecture in Mathematical Logic
Y1  - 2002///
N2  - 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\"odel's incompleteness theorems.

AV  - public
KW  - Continuum hypothesis; Incompleteness theorems; Derivation rules.
ER  -

<script src="//archive-bar.soton.ac.uk/archive-bar.js"></script>