Initiation to Research
I am in charge of the initiation to research course at Polytech'Lille, for the cursus Génie Informatique et Statistique, 4th year. The course I give is made of three lectures, two hours long each. It is completed by a series of events.
Events
- 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
Lectures
- Introduction à l'épistémologie. Inductivisme, falsificationisme, structure des révolutions scientifiques.
- 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.
- 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
Links
- Le cours communication efficace pour scientifiques de Pierre Boulet.