Téléchargéables comme fichiers .pdf ou
.ps par ftp (cliquez)
1
- Introduction historique: de la logique à l'informatique -
imitation et modélisation.
Notes de cours: (Notes-de-Cours/histoire.pdf), (CritiqRaisonInfo-fr.pdf).
Lecture conseillée:
Giuseppe Longo. Laplace, Turing and
the "imitation game" impossible geometry: randomness,
determinism and programs in Turing's test. In
Epstein, R., Roberts, G., & Beber, G. (Eds.). The
Turing Test Sourcebook: Philosophical and Methodological Issues
in the Quest for the Thinking Computer. Dordrecht, The
Netherlands: Kluwer, 2007. (turing-game.pdf)
(version francaise, Intellectica, n. 35, 2002/2, pp. 131-162:
(turing-jeu.ps)
(turing-jeu.pdf);
suivi d'une réponse aux commentaires publiés par la
revue: Continu vs. discret et régimes
de causalité., pp. 199-216 (reponse-jeu.ps)
(reponse-jeu.pdf)).
2
- Incomplétude mathématique des formalismes
computationnels.
Notes
de cours:
(Notes-de-Cours/cogni1.pdf)
(Notes-de-Cours/cogni3.pdf)
Lectures conseillées:
Giuseppe Longo.
The
Cognitive Foundations of Mathematics: human gestures in proofs and
mathematical incompleteness of formalisms, in
Images and Reasoning, (M. Okada et al. eds.), Keio University Press,
Tokio, 2005. (incompl-images.pdf)
Giuseppe Longo. On the proofs of some
formally unprovable propositions and Prototype Proofs in Type Theory.
Invited Lecture,Types for Proofs and Programs, Durham, (GB), Dec.
2000; Lecture Notes in Computer Science, vol 2277 (Callaghan et al.
eds), pp. 160 - 180, Springer, 2002. (unprov-proto.pdf)
3
- Modèles continus de la calculabilité ;
l'indécidabilité computationnelle.
Notes de cours (slides):
(Notes-de-Cours/MasterCogni/ContVSdiscrDyn.pdf)
4
- La notion de "dégénérescence" en
biologie et en cognition; la criticité étendue du
vivant.
Notes de
cours et/ou lectures conseillées:
En préparation
Longo's DOWNLOADABLE BOOK AND PAPERS
Back to Longo's index page.