Publié-e

1985-01-01

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

Mots-clés :


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

Téléchargements

Auteurs-es

  • 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.

Comment citer

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 (janv. 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 janv. 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), p. 177–200. Disponible à: https://revistas.unal.edu.co/index.php/recolma/article/view/32614 (Consulté le: 22 janvier 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, p. 177–200, janv. 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, janvier 1985, p. 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 (janvier 1, 1985): 177–200. Consulté le janvier 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 janv. 1985 [cité 22 janv. 2025];19(1-2):177-200. Disponible à: https://revistas.unal.edu.co/index.php/recolma/article/view/32614

Télécharger la référence

Consultations de la page du résumé de l'article

147

Téléchargements

Les données relatives au téléchargement ne sont pas encore disponibles.

Licence

© Revista Colombiana de Matemáticas 1985

Licence Creative Commons

Cette œuvre est sous licence Creative Commons Attribution 4.0 International.