Archives mensuelles: mai 2014

 

Une introduction aux neurosciences computationnelles

Publié 26.05.2014 par Thierry Vieville

Prenons une grenouille. Et une mouche qui passe devant la grenouille. Certes: voilà la grenouille qui va gober la mouche. Mais. Mais ce qui est «scientifiquement» stupéfiant c'est que la mouche est plus rapide que la grenouille ! La grenouille ne va donc pas gober la mouche là où elle la voit (elle la manquerait), mais là où elle sera à la fin du mouvement de la grenouille : détection du mouvement de la mouche, prédiction de la position de... Lire la suite

L’informatique est-elle logique ?

Publié 19.05.2014 par Thierry Vieville

L'informatique est une science, soit. Mais alors quel est son lien avec la logique cette étude des règles formelles de tout raisonnement ? « C’est peut-être pas très logique, mais il n’y a pas qu’une seule logique ! Selon ce qu’on accepte comme mécanisme de raisonnement, on peut définir différentes logiques. Parmi elles, il y a la logique dite classique des mathématiciens ou la logique dite intuitionniste des informaticiens. Enfin pas tout à fait non plus : les deux sciences informatiques et... Lire la suite