Constructive Natural Deduction And Its "omega-Set" Interpretation (1990)

Cached

Download Links

by Giuseppe Longo , Eugenio Moggi
Citations:2 - 1 self

Documents Related by Co-Citation

3 Mathematical Intelligence, Infinity and Machines: beyond the Gdelitis" Invited paper – G Longo - 1999
3 L'anneau des disciplines, n. spcial de la Revue Internationale de systmique – F Bailly - 1991
2 Le sens du mouvement, Od. Jacob (english transl – A Berthoz - 1997
3 Le problme mathmatique de l'espace – L Boi - 1995
2 L'origine de la Gomtrie – E Husserl - 1962
2 Le Labyrinthe du Continu – J-M Salanskis, H Sinaceur - 1992
1 Platon et/ou Aristote/Leibniz: Thorie des ensembles et thorie des Topos sous l'oeil du philosophe – A Badiou
1 entre Eudoxe et – Gardies G Pascal - 1884
1 Russell's mathematical logic" in The philosophy of – K Gdel - 1944
1 Whaat is Cantor's Continuum Problem – K Gdel - 1947
1 Gomtrie, Mouvement, Espace: Cognition et – G Longo - 1997
1 Mmoire et objectivit en mathmatiques". Confrence invite, in Le rel en mathmatiques, Crisy, septembre 1999b (actes paraitre – G Longo
1 Prototype proofs in Type Theory", in Mathematical Logic Quaterly (formely: Zeit – G Longo
1 Salanskis J.-M. L'objectivit mathmatique – M Panza - 1995
1 Pour un platonisme transcendantal – J Petitot - 1995
1 Visetti Y.-M., "Sens et temps de la Gestalt – V Rosenthal - 1999
3 Mathematics and the Biological Phenomena – Giuseppe Longo
5 The Mathematical Continuum, from Intuition to Logic” in: Naturalizing Phenomenology – G Longo - 1999
5 Comments on Hilbert’s second lecture on the foundations of mathematics – Hermann Weyl - 1927