Entre finitismo e intuicionismo: Observaciones sobre los orígenes de la deducción natural

dc.contributor.author	Legris, Javier
dc.date.accessioned	2016-08-05T18:03:29Z
dc.date.available	2016-08-05T18:03:29Z
dc.date.issued	1996-11
dc.identifier.uri	http://hdl.handle.net/11086/2931
dc.description.abstract	La aparición del sistema de Deducción Natural a comienzos de la década del 1930 es un hecho en la historia de la lógica moderna que vale la pena destacar En efecto, la Deducción Natural trajo consigo una nueva concepción de la lógica, la cual parte de la idea de reconstruir de manera aproximada lo que se considera el razonamiento intuitivo (al menos en matemática), y la interpretación dada al sistema originó un 'programa semántico, que más tarde constituirá una alternativa a la semántica de la teoría de modelos.	es
dc.language.iso	spa	es
dc.publisher	Universidad Nacional de Córdoba	es
dc.rights	Atribución-NoComercial-SinDerivadas 2.5 Argentina	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/2.5/ar/	*
dc.subject	Epistemología	es
dc.subject	Historia de la ciencia	es
dc.title	Entre finitismo e intuicionismo: Observaciones sobre los orígenes de la deducción natural	es
dc.type	conferenceObject	es
dc.description.fil	Fil: Legris, Javier. Universidad de Buenos Aires; Argentina.	es
dc.description.fil	Fil: Legris, Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.	es
dc.conference.city	Córdoba	es
dc.conference.country	Argentina	es
dc.conference.event	Jornada Epistemología e Historia de la Ciencia	es
dc.conference.eventdate	1996

Except where otherwise noted, this item's license is described as Atribución-NoComercial-SinDerivadas 2.5 Argentina