Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Cette séance de cours présente un contre-exemple à l'idée communément admise que le principe d'induction fonctionne sans l'étape initiale. En démontrant une propriété des nombres naturels, l'instructeur montre qu'une expression spécifique est un multiple de 7, en utilisant des manipulations algébriques et un raisonnement logique. La séance de cours se termine en discutant des implications du contre-exemple et de la nécessité d'arguments supplémentaires pour prouver la fausseté d'une certaine proposition.