From François Boulier

Main: Initiation à la Recherche

Je suis responsable du cours d'initiation à la recherche à Polytech'Lille, dans la filière Génie Informatique et Statistique 4ème année. La formation que j'assure est composée de 3 cours magistraux de deux heures. Elle est complétée par une série d'événements.

Événements

• Le mardi 2 octobre - Journées RIC.
  • Le rendez-vous du matin est fixé à 9h dans l'auditorium d'Euratechnologies, 165 avenue de Bretagne, Lille - Metro Canteleu - http://www.euratechnologies.com
  • Pour les groupes rouge et vert, le rendez-vous de l'après-midi est à 13h30 à l'espace Partenaire de Polytech: http://www.polytech-lille.fr/plan-d-acces-p1787.html#.UGBs3RjaNS5
  • Pour les groupes orange et jaune, le rendez-vous de l'après-midi est fixé à 13h30 au LIFL / bâtiment M3 - extension : http://www.lifl.fr/contact/
  • Le programme de la journée est ici : http://www.lifl.fr/~duchien/RIC/2_10_2012.html

Cours

1. Introduction à l'épistémologie. Inductivisme, falsificationisme, structure des révolutions scientifiques.
2. Crise en mathématiques et naissance de l'informatique. Première partie : le problème de l'arrêt, les machines de Turing comme modèles d'algorithmes, la thèse de Church. Seconde partie : la notion de vérité en mathématiques, l'axiomatisation des théories, le programme de Hilbert, l'Entscheidungsproblem, le dixième problème de Hilbert.
3. Pratiques de la « science normale » en informatique et en 2012. Le cours commence par une interrogation écrite. Articles de recherche, bibliographie, évaluations des articles, des chercheurs et des journaux. Conclusion.

Documents

• Mes notes de cours.
• En complément du deuxième cours, voici quelques articles parus dans Pour La Science, avec l'aimable autorisation de Jean-Paul Delahaye : Les propositions indécidables, Promenade au pays des indécidables et L'incomplétude, le hasard et la physique.
• En complément du troisième, voici un autre article paru dans Pour La Science, avec l'aimable autorisation de Jean-Paul Delahaye : L'indice de Hirsch

Liens

• Le cours communication efficace pour scientifiques de Pierre Boulet.