Correo Electrónico
DNINFOA - SIA
Bibliotecas
Convocatorias
Identidad U.N.
Veröffentlicht
1985-01-01
The consistency of a variant of,Church's Thesis with an axiomatic theory of an epistemic notion
Schlagworte:
Variant, thesis Church scheme, language, first order modal operator, demonstrability intuitive (es)
Downloads
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.
Zitationsvorschlag
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), S. 177–200. Verfügbar unter: https://revistas.unal.edu.co/index.php/recolma/article/view/32614 (Zugegriffen: 22 Januar 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, Bd. 19, Nr. 1-2, S. 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, Bd. 19, Nr. 1-2, Januar 1985, S. 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 (Januar 1, 1985): 177–200. Zugegriffen Januar 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. Januar 1985 [zitiert 22. Januar 2025];19(1-2):177-200. Verfügbar unter: https://revistas.unal.edu.co/index.php/recolma/article/view/32614
Bibliografische Angaben herunterladen
Aufrufe der Abstractseiten von Artikeln
147
Downloads
Keine Nutzungsdaten vorhanden.
Lizenz
Copyright (c) 1985 Revista Colombiana de Matemáticas
Dieses Werk steht unter der Lizenz Creative Commons Namensnennung 4.0 International.
