Daniel ANDLER
professeur de philosophie à l'université de Paris-IV-Sorbonne, ancien directeur du département d'études cognitives, École normale supérieure
COGNITIVES SCIENCES
Les sciences cognitives ont pour objet de décrire, d'expliquer et le cas échéant de simuler voire d'amplifier les principales dispositions et capacités de l'esprit humain – langage, raisonnement, perception, coordination motrice, planification, décision, émotion, […] Lire la suite
GÖDEL KURT (1906-1978)
Issue de la pensée de Boole, de Cantor et de Frege au cours de la seconde moitié du xixe siècle, la logique mathématique connaît ses premiers développements grâce à Hilbert et à Russell et Whitehead (premier quart du xxe siècle). Mais c'est à Kurt Gödel plus qu […] Lire la suite
MODÈLES THÉORIE DES
« Modèle » est un terme qui appartient au vocabulaire de la plupart des sciences et qui a des significations multiples. Ainsi, dans les sciences humaines, on entend généralement par modèle une théorie conçue pour expliquer un ensemble de phénomènes, alors qu'en logique mathématique on parle des modèles d'une théorie. Dans ce qui suit, il s'agira exclusivement des modèles et de la théorie des modèl […] Lire la suite
ROBINSON ABRAHAM (1918-1974)
Mathématicien et logicien américain d'origine allemande.Né à Waldenburg, en Allemagne (l'actuelle Walbrzych polonaise), dans une famille intellectuelle sioniste, Abraham Robinson émigre en Palestine avec sa famille en 1933. Tout en gagnant sa vie et en suivant l'entraînement militaire de la Haganah, il étudie les mathématiques à l'université hébraïque de Jérusalem ; il y manifeste un talent si écl […] Lire la suite