Browsing Revista Colombiana de Matemáticas by Author "Reinhardt, W. N."
Now showing items 1-1 of 1
-
The consistency of a variant of,church's thesis with an axiomatic theory of an epistemic notion
Reinhardt, W. N.In this paper we prove the consistency of a variant of Church's Thesis than can be formulated as a schema in a first order language with a modal operator for intuitive provability. We also conjeture the consistency of a ...Universidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de Matemáticas.