Published

1985-01-01

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

Keywords:


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

Downloads

Authors

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

How to Cite

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 (Jan. 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 jan. 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. Available at: https://revistas.unal.edu.co/index.php/recolma/article/view/32614 (Accessed: 22 January 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, no. 1-2, pp. 177–200, Jan. 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, no. 1-2, Jan. 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 (January 1, 1985): 177–200. Accessed January 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]. 1985 Jan. 1 [cited 2025 Jan. 22];19(1-2):177-200. Available from: https://revistas.unal.edu.co/index.php/recolma/article/view/32614

Download Citation

Article abstract page views

147

Downloads

Download data is not yet available.

License

Copyright (c) 1985 Revista Colombiana de Matemáticas

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.