El intuicionismo matemático : una filosofía constructivista /
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Español |
| Publicado: |
Buenos Aires :
Eudeba,
1977.
|
| Colección: | Temas
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
Tabla de Contenidos:
- Contenido: Introducción
- La constructividad en metamatemática
- Fundamentación constructivista
- Otras fundamentaciones
- Intuicionismo. Una teoría constructiva
- Evolución del intuicionismo
- Intuicionismo de Brouwer y Heyting
- La lógica intuicionista
- Reflexiones
- Teoría de las funciones recursivas
- La lógica conmbinatoria
- Algoritmos de Markov
- La matemática operativa
- La máquina de turing
- El sistema de Wang.