YoVDO

War Time Proofs and Futuristic Programs

Offered By: Strange Loop Conference via YouTube

Tags

Logic Courses Computer Science Courses Mathematics Courses Type System Courses Type Theory Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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

Radical and Type Theories in Organic Chemistry (1832-1850) - Lecture 22
Yale University via YouTube
Introduction to programming with dependent types in Scala
Stepik
Uncovering the Unknown - Principles of Type Inference in Programming Languages
ChariotSolutions via YouTube
Univalence from a Computer Science Point-of-View - Dan Licata
Institute for Advanced Study via YouTube
Univalent Foundations and the Equivalence Principle - Benedikt Ahrens
Institute for Advanced Study via YouTube