Je suis responsable du cours d'initiation à la recherche à Polytech Lille, dans la filière 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

• La journée RIC est prévue le 13 octobre 2023. Le lien : https://ric-lille.github.io/ric-2023/.

Cours

1. Introduction à l'épistémologie. Inductivisme, falsificationisme, structure des révolutions scientifiques. cours1.pdf
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 deuxième problème de Hilbert. cours2.pdf, Floyd.pdf, tout-programme-est-un-entier.pdf
3. Pratiques de la « science normale » en informatique et en 2013. Le cours commence par une interrogation écrite. Articles de recherche, bibliographie, évaluations des articles, des chercheurs et des journaux. Conclusion.

TD

• La feuille td1.pdf

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. Voici deux autres articles récents : Les délicats paradoxes de Berry et de Skolem (juillet 2021) ainsi que Mesurer le temps en allumant des mèches (septembre 2021).
• 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

• Animations illustrant le mouvement rétrograde de mars.