Publicado

1985-01-01

The consistency of a variant of,Church's Thesis with an axiomatic theory of an epistemic notion

Palabras clave:


Variant, thesis Church scheme, language, first order modal operator, demonstrability intuitive (es)

Descargas

Autores/as

  • W. N. Reinhardt University of Colorado

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 stronger variant.

Visitas a la página del resumen del artículo

266

Descargas

Los datos de descarga aún no están disponibles.

Cómo citar

Reinhardt, W. N. (1985). The consistency of a variant of,Church’s Thesis with an axiomatic theory of an epistemic notion. Revista Colombiana De Matemáticas, 19(1-2), 177-200. https://revistas.unal.edu.co/index.php/recolma/article/view/32614

Licencia

Derechos de autor 1985 Revista Colombiana de Matemáticas

Creative Commons License

Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.