An Introduction to Mathematical Logic
Offered By: NCCR SwissMAP via YouTube
Course Description
Overview
Explore the foundations of mathematical reasoning in this hour-long lecture on mathematical logic. Delve into the fundamental principles and concepts that underpin logical thinking in mathematics. Gain insights into the structure of mathematical arguments, learn about formal systems, and discover how logic serves as the backbone for rigorous mathematical proofs. Suitable for students and enthusiasts looking to strengthen their understanding of mathematical foundations and enhance their analytical skills.
Syllabus
An introduction to mathematical logic, JoƩ Mighali
Taught by
NCCR SwissMAP
Related Courses
Language, Proof and LogicStanford University via edX Proof Theory Impressionism - Blurring the Curry-Howard Line
Strange Loop Conference via YouTube Topics in Pure Model Theory - Lecture 10
Fields Institute via YouTube David Cerna: Proof Schema and the Refutational Complexity of Their Cut Structure
Hausdorff Center for Mathematics via YouTube Graham Leigh: On the Computational Content of Classical Sequent Calculus
Hausdorff Center for Mathematics via YouTube