Intuicionismo

Intuicionismo

<p>RESUMEN: Tras una introducción histórica al intuicionismo como filosofía de las matemáticas, se introduce la lógica intuicionista. Comenzamos desde sus fundamentos según la interpretación BHK, y continuamos con las reglas del cálculo de deducción natural adecuado. Se discuten las diferencia...

Full description

Bibliographic Details
Main Author:	Dick DE JONGH
Format:	Article
Language:	English
Published:	Ediciones Universidad de Salamanca 2009-09-01
Series:	Azafea: Revista de Filosofía
Online Access:	http://revistas.usal.es/index.php/0213-3563/article/view/625

Similar Items

El intuicionismo de Prichard
by: Mauricio Rengifo Gardeazábal
Published: (2005-01-01)

Simbolismo e intuicionismo na primeira filosofia de Husserl
by: Guilhermino, Daniel Peluso
Published: (2019)

O INTUICIONISMO E O PROBLEMA COM AS PROVAS NÃO CONSTRUTIVAS
by: Diego Henrique Figueira de Melo
Published: (2017-06-01)

O intuicionismo e o problema com as provas não construtivas
by: Diego Henrique Figueira de Melo
Published: (2017-06-01)

Proclo: constructivismo y pre-intuicionismo en la geometría griega
by: Álvaro José Campillo Bo
Published: (2019-05-01)

Brouwer y Zubiri. La eficacia del intuicionismo lógico en el logos y la razón sentientes
by: Jesús Ramírez Voss
Published: (2016-08-01)

Equilibrio reflexivo y justificación: ¿intuicionismo o coherentismo? (en el 50º aniversario de la publicación de A Theory of Justice)
by: Rojas Molina, Emilio José
Published: (2021-05-01)

O intuicionismo Kantiano à Luz do Logicismo e do Cognitivismo: Uma defesa da intuição pura do espaço e do tempo
by: Feijó, Rafael Godolphim
Published: (2017)

A review of operational risk in banks and its role in the financial crisis
by: Erika de Jongh, et al.
Published: (2013-11-01)

Treatment of a woman with emetophobia: a trauma focused approach
by: Ad de Jongh
Published: (2012-01-01)

Interaction and transaction: a study of conciliar behaviour in a Black South African township
by: De Jongh, Michael
Published: (1979)

Interaction and transaction : a study of conciliar behaviour in a Black South African township
by: De Jongh, Michael
Published: (1980)

Causal processes in the Problem Space Computational Model : integrating multiple representations of causal processes in abductive problem solving /
by: DeJongh, Matthew
Published: (1991)

Laborativa aktiviteter : En analys av läromedel i matematik för årskurs fyra.
by: de Jongh, Louise
Published: (2020)

Studies on local isolates of neisseria gonorrhoeae:role in different clinical populations antimicrobial profile and mechanisms of resistance
by: De Jongh, Mari
Published: (2011)

The primacy of public goods
by: Jongh, Maurits de
Published: (2019)

The Smart City level of the City of Tshwane compared to the European city standard, and its contribution towards the city’s environmental sustainability.
by: De Jongh, Andrée
Published: (2021)

Indicators of corporate social performance in South Africa
by: De Jongh, Derick
Published: (2013)

A FRENCH VOLUTEER IN THE RANKS OF THE BOERS
by: C. De Jongh
Published: (2012-02-01)

Zending en imperialisme in Zuid-Afrika
by: C. de Jongh
Published: (1978-06-01)

Zending en imperialisme De Noorse Zending in Zoeloeland (1879-1890)
by: C. de Jongh
Published: (1978-06-01)

The regulation of small-scale mining in Namibia :|ba legal perspective / Divan de Jongh
by: De Jongh, Divan
Published: (2014)

The regulation of small-scale mining in Namibia :|ba legal perspective / Divan de Jongh
by: De Jongh, Divan
Published: (2014)

The development of a tool for profiling the personality of an organisation's culture
by: De Jongh, Dean
Published: (2010)

Neural network ensembles
by: De Jongh, Albert
Published: (2012)

Information technology outsourcing
by: De Jongh, Henk
Published: (2012)

Ontwikkeling van 'n laevetgraanproduk en die effek van verskillende veselvlakke op die glukemiese indeks
by: De Jongh, Jacolene
Published: (2012)

Critical evaluation of predictive modelling of a cervical disc design
by: De Jongh, Cornel
Published: (2008)

The significance of hermeneutical method in recent biblical scholarship : theory and practice
by: De Jongh, Charles
Published: (2012)

The significance of hermeneutical method in recent Biblical scholarship : theory and practice
by: De Jongh, Charles
Published: (2000)

Die invloed van die heropbou- en ontwikkelingsprogram op die strategiese bestuur van Suid-Afrikaanse ondernemings en die invloed daarvan op die Suid-Afrikaanse ekonomie
by: De Jongh, M.
Published: (2012)

Optimal production rates in opencast coal mining : a value driven approach
by: De Jongh, Iwan
Published: (2013)

The Right to the City from a Local to a Global Perspective : The Case of Street Vendor and Marketer Organizations in Urban Areas in the Copperbelt, Zambia
by: Jongh, Lennert
Published: (2013)

Clinical pearls for the monitoring and treatment of antipsychotic induced metabolic syndrome
by: DeJongh, B.M
Published: (2021)

Conjunctuur en afschrijvingspolitiek (Inhoud april 1928 no. 4)
by: B. H. De Jongh
Published: (1928-04-01)

Die ontwikkeling van die Durbanville-gebied, met spesiale verwysing na die jare 1800-1863
by: De Jongh, Jacobus Gideon
Published: (2014)

Imine-donor complexes with group 6 and group 11 transition metals : coordination and dynamics
by: De Jongh, Leigh-Anne
Published: (2008)

The design of diagnostic reading materials for South African learners in the foundation phase using English as the language of learning
by: De Jongh, Annie Jeanetta
Published: (2013)

Kurrikulumhersiening in ‘n veranderde Suid-Afrika: ‘n studie van die arbeidsterapiekurrikulum aan die Universiteit van Wes-Kaapland
by: De Jongh, Jo-Celene
Published: (2014)

Por trás de cada pessoa existe uma história: lideranças, relações solidárias e reconhecimento como base para transformações psíquicas e sociais
by: Jongh, Carolina Alves de
Published: (2018)