War Time Proofs and Futuristic Programs
Offered By: Strange Loop Conference via YouTube
Course Description
Overview
Explore the fascinating intersection of historical mathematical proofs and modern programming concepts in this 41-minute conference talk from Strange Loop. Delve into Kurt Gödel's groundbreaking work from the 1940s on the Dialectica interpretation and its connection to linear logic type theory. Discover how Gödel's ideas from the past continue to influence and shape advanced programming languages and type systems today. Learn about the speaker's contributions to extending Gödel's work and its relevance to contemporary computer science. Gain insights into the evolution of linear logic and its applications in AI and natural language processing. This talk offers a unique perspective on how understanding historical mathematical concepts can lead to innovative developments in future programming paradigms.
Syllabus
"War Time Proofs and Futuristic Programs" by Valeria de Paiva
Taught by
Strange Loop Conference
Tags
Related Courses
Introduction to LogicStanford University via Coursera Lógica y usos
Miríadax Comprendre les Microcontroleurs
École Polytechnique Fédérale de Lausanne via Coursera Logic: Language and Information 1
University of Melbourne via Coursera Logic: Language and Information 2
University of Melbourne via Coursera