Pubblicato

1985-01-01

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

Parole chiave:


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

##submission.downloads##

Autori

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

Come citare

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 (gen. 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 gen. 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), pagg. 177–200. Available at: https://revistas.unal.edu.co/index.php/recolma/article/view/32614 (Consultato: 22 gennaio 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, pagg. 177–200, gen. 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, gennaio 1985, pagg. 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 (gennaio 1, 1985): 177–200. Consultato gennaio 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 gennaio 1985 [citato 22 gennaio 2025];19(1-2):177-200. Available at: https://revistas.unal.edu.co/index.php/recolma/article/view/32614

Scarica citazione

Viste delle pagine degli abstract

147

Downloads

I dati di download non sono ancora disponibili.

Licenza

Copyright (c) 1985 Revista Colombiana de Matemáticas

Creative Commons License

TQuesto lavoro è fornito con la licenza Creative Commons Attribuzione 4.0 Internazionale.