Correo Electrónico
DNINFOA - SIA
Bibliotecas
Convocatorias
Identidad U.N.
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
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.
Cómo citar
APA
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
ACM
[1]
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 (ene. 1985), 177–200.
ACS
(1)
Reinhardt, W. N. The consistency of a variant of,Church’s Thesis with an axiomatic theory of an epistemic notion. rev.colomb.mat 1985, 19, 177-200.
ABNT
REINHARDT, W. N. The consistency of a variant of,Church’s Thesis with an axiomatic theory of an epistemic notion. Revista Colombiana de Matemáticas, [S. l.], v. 19, n. 1-2, p. 177–200, 1985. Disponível em: https://revistas.unal.edu.co/index.php/recolma/article/view/32614. Acesso em: 22 ene. 2025.
Chicago
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.
Harvard
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), pp. 177–200. Disponible en: https://revistas.unal.edu.co/index.php/recolma/article/view/32614 (Accedido: 22 enero 2025).
IEEE
[1]
W. N. Reinhardt, «The consistency of a variant of,Church’s Thesis with an axiomatic theory of an epistemic notion», rev.colomb.mat, vol. 19, n.º 1-2, pp. 177–200, ene. 1985.
MLA
Reinhardt, W. N. «The consistency of a variant of,Church’s Thesis with an axiomatic theory of an epistemic notion». Revista Colombiana de Matemáticas, vol. 19, n.º 1-2, enero de 1985, pp. 177-00, https://revistas.unal.edu.co/index.php/recolma/article/view/32614.
Turabian
Reinhardt, W. N. «The consistency of a variant of,Church’s Thesis with an axiomatic theory of an epistemic notion». Revista Colombiana de Matemáticas 19, no. 1-2 (enero 1, 1985): 177–200. Accedido enero 22, 2025. https://revistas.unal.edu.co/index.php/recolma/article/view/32614.
Vancouver
1.
Reinhardt WN. The consistency of a variant of,Church’s Thesis with an axiomatic theory of an epistemic notion. rev.colomb.mat [Internet]. 1 de enero de 1985 [citado 22 de enero de 2025];19(1-2):177-200. Disponible en: https://revistas.unal.edu.co/index.php/recolma/article/view/32614
Descargar cita
Visitas a la página del resumen del artículo
147
Descargas
Los datos de descargas todavía no están disponibles.
Licencia
Derechos de autor 1985 Revista Colombiana de Matemáticas
Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.
