C@fé-in (23 février) : Pourquoi faire appel à un ordinateur pour faire des preuves?

 

23 Février 2012, 13h15 – 14h, salle cafétéria extension, par Yves Bertot

Nous faisons tous des raisonnements pour prendre des décisions dans notre vie de tous les jours mais ces raisonnements ne sont pas toujours justes.  La logique, c’est l’art de reconnaître les raisonnements justes, indépendamment du sujet traité.    On utilise des règles systématiques qui peuvent être reconnues par ordinateur.

Pour savoir si un programme est correct, on peut le faire par des raisonnements, mais ceux-ci sont longs et fastidieux.  C’est un travail pénible et répétitif, c’est mieux si ça peut être fait par ordinateur.

Transparents de la présentation

2 Commentaires

  1. quel est le lien entre le tableau choisi et le sujet ?

  2. Réponse de l’intervenant :

    C’est une peinture du palais apostolique du Vatican, par Raphaël. Le titre est « Scuola di Atene ». Les personnages sont les scientifiques et philosophes de l’antiquité, avec quelques excursions hors du monde grec. http://en.wikipedia.org/wiki/School_of_athens

    Dans mon esprit, cette peinture est caractéristique de l’utilisation des règles de la perspective en peinture. Je compte l’utiliser pour illustrer l’importance de respecter des règles, dans toute activité artistique.

Les commentaires sont clos.