YoVDO

Cueology of Proof

Offered By: Hausdorff Center for Mathematics via YouTube

Tags

Mathematical logic Courses Proof Theory Courses Formal Verification Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the intricacies of proof theory in this thought-provoking lecture by Natarajan Shankar. Delve into the concept of "Cueology of Proof" as Shankar examines the fundamental principles and methodologies behind mathematical and logical reasoning. Gain insights into how proofs are constructed, analyzed, and verified, and discover the role of cues in guiding the proof process. Learn about the intersection of formal logic, mathematics, and computer science in the development of robust proof systems. Enhance your understanding of the theoretical foundations that underpin modern computational proof assistants and formal verification techniques.

Syllabus

Natarajan Shankar: Cueology of Proof


Taught by

Hausdorff Center for Mathematics

Related Courses

Introduction to Logic
Stanford University via Coursera Logic: Language and Information 1
University of Melbourne via Coursera Logic: Language and Information 2
University of Melbourne via Coursera Information Service Engineering
openHPI Language, Proof and Logic
Stanford University via edX