|
|
|
par Stéphane Deligeorges
le lundi de 14h à 15h |
|
 |
|
|
|
|
émission du lundi 2 juillet 2007
La ou les logiques
|
|
|
La logique est d’une grande Antiquité. Elle fut inaugurée et illustrée par Aristote comme par les Stoïciens. Puis, à l’époque classique avec Leibniz et à l’époque moderne avec Gotlob Frege, Bertrand Russell et David Hilbert, la logique a connu un essor sans précédent. Aujourd’hui les logiques sont diverses et nombreuses. Théorie des modèles, théorie de la démonstration, etc. Aussi, devant cette prolifération peut-on parler de la logique ou des logiques ?
|
Pierre Wagner.
Logicien |
|
|
|
|
|
|
des livres à découvrir |
|
|
|
|
Pierre Wagner
La logique
PUF - 2007
|
|
|
|
|
|
Marc Giraud
Le Kama-sutra dse demoiselles
Robert Laffont - 2005
|
|
|
|
|
|
Jean-Gabriel Ganascia
L'Intelligence artificielle
Flammarion - 1993
|
|
Collection Sciences & techniques, n° 138
Retrace l'histoire de l'intelligence artificielle, des premiers automates aux robots intelligents, et réfute les principales idées reçues sur les techniques automatisées, les robots...
-note de l'éditeur-
|
|
|
|
|
|
