Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Lecture
Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
This lecture explores the concept of proof in mathematics, focusing on the importance of evidence and logical reasoning. The instructor discusses the notion of truth in mathematical propositions and introduces symbols to represent logical implications. Various methods of proof, including direct and contraposed methods, are explained through examples and theorems. The lecture emphasizes the significance of rigorous reasoning and logical deduction in mathematical theory, illustrating the process with theorems and logical rules. The presentation progresses chronologically through the slides, starting with basic concepts and gradually delving into more complex logical implications and proofs.