Las Raíces Dialógicas de la Teoría Constructiva de Tipos: Estrategias dialógicas, demostraciones constructivas y el axioma de elección
Fiche du document
9 décembre 2015
- handle: 10670/1.t7sebi
- halshs: halshs-01238172
info:eu-repo/semantics/OpenAccess
Citer ce document
Shahid Rahman et al., « Las Raíces Dialógicas de la Teoría Constructiva de Tipos: Estrategias dialógicas, demostraciones constructivas y el axioma de elección », HAL-SHS : philosophie, ID : 10670/1.t7sebi
Métriques
Partage / Export
Résumé
Es un libro en preparacion. Los objectivos principales son:1) mostrar los lazoq que vinculan el marco dialogico con la teoria constructiva de tipos 2) mostrar como la distincion entre nivel de juego, y nivel estrategico explican proveen un teoria adecauada para el estudio de la nocion de "asumcion epistémica" de la CTT.