Mathematical intelligence, infinity and machines: Beyond gödelitis

Journal of Consciousness Studies

Volumn 6, Issue 11-12, 1999, Pages 191-214

  Longo, Giuseppe ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 22844455844     PISSN: 13558250     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (27)

1. Asperti A. and Longo G. (1991), Categories, Types and Structures (Boston, MA: MIT Press).
2. Baader F. and Nipkow T. (1998), Term Rewriting and All That (Cambridge: Cambridge University Press).
3. Barwise J. (ed. 1978), Handbook of Mathematical Logic (North-Holland).
4. Castagna G., Ghelli G. and Longo G. ( 1995), 'A calculus for overloaded functions with subtyping', Information and Computation, 117 (1), pp. 115-35.
5. Chatelet, G. (1993), Les enjeux du mobile (Seuil).
6. Cubric D., Dybjer P. and Scott P. (1998), 'Normalization and the Yoneda embedding', Mathematical Structures in Computer Science, 8 (2), pp. 153-92.
7. Damasio, A. (1994), Descartes' Error (New York: Putnam/Grosset).
8. Feferman S. (1998), In the light of logic (Oxford: Oxford University Press).
9. Gardies G. (1984), Pascal entre Eudoxe et Cantor (Vrin).
10. Girard J-Y., Lafont Y. and Taylor P. (1989), Proofs and Types (Cambridge: Cambridge University Press).
11. Harrington, L. et al. (ed. 1985), H. Friedman's Research on the Foundation of Mathematics (North-Holland).
12. van Heijnoort (1967), From Frege to Gödel (Cambridge, MA: Harvard University Press).
13. Hindley J.R. and Seldin J.P. (1986), Introduction to Combinators and Lambda-Calculus (Cambridge: Cambridge University Press).
14. Hodges, J. (1995), in The Universal Turing Machine, ed. R. Herken (Springer-Verlag).
15. Lakoff, G. and Núñez, R. (2000), Where Mathematics Comes From: How the Embodied Mathematics Creates Mathematics (New York: Basic Books).
16. Lambek J. and Scott P.J. (1986), Introduction to higher order Categorical Logic (Cambridge: Cambridge University Press).
17. Laskar, J. (1990), 'The chaotic behaviour of the solar system', Icarus, 88, pp. 266-91.
18. Longo G. (1997), 'Géométrie, Mouvement, Espace: Cognition et Mathématiques', Intellectica, 2 (25), pp. 195-218.
19. Longo, G., (1999a), 'The mathematical continuum, from intuition to logic' in Naturalizing Phenomenology: issues in contemporary Phenomenology and Cognitive Sciences, ed. J. Petitot et al. (Standford University Press).
20. Longo G. (1999b), 'Mémoire et Objectivité en Mathématiques', Colloque Le réel en Mathematiques, Cérisy, Septembre 1999 (actes à paraître).
21. Longo G. and Moggi E. (1984), 'The hereditary partial recursive functional and recursion theory in higher types', Journal of Symbolic Logic, 49 (4), pp. 1319-32.
22. Paris J. and Harrington L. (1978), 'A mathematical incompleteness in Peano Arithmetic', in Barwise (1978).
23. Rathjen M., Weierman A. (1993), 'Proof theoretic investigations on Kruskal's theorem', Annals of Pure and Applied Logic, 60, pp. 49-88.
24. Searle, J.R. (1992), The Rediscovery of Mind (Cambridge, MA: MIT Press).
25. Simpson S. (1998), Subsystems of Second Order Arithmetic (Springer-Verlag).
26. Smorinsky, C. (1978), The incompleteness theorems', in Barwise (1978).
27. Zellini P. (1980), Breve storia dell'Infinito (Adelphi, 1980 trad, francaise pour Seul).