The consistency of a variant of,church's thesis with an axiomatic theory of an epistemic notion
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.
- Autores:
-
Reinhardt, W. N.
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 1985
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/48788
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/48788
http://bdigital.unal.edu.co/42245/
- Palabra clave:
- Variant
thesis Church scheme
language
first order modal operator
demonstrability intuitive
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
| Summary: | 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. |
|---|