Per Martin Löf: How did 'judgement' come to be a term of logic ?

Per Martin Löf: How did 'judgement' come to be a term of logic ?
Share:

Download MP3


Similar Tracks

Steve Awodey: Mac Lane and Carnap's Logical Syntax of Language Logic and Foundations of Mathematics
Limits of Logic: The Gödel Legacy The Flame of Reason
Saunders Mac Lane: "Mysteries and Marvels of Mathematics" UW-Milwaukee Department of Mathematical Sciences
"Propositions as Types" by Philip Wadler Strange Loop Conference
Nonetheless one should learn the language of topos: Grothendieck... - Colin McLarty [2018] Graduate Mathematics
01 Course Introduction HoTT Lectures
Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK) FOMUS 2016
Introduction to Philosophy Lecture #1: Introduction Jack Sanders
Think Fast, Talk Smart: Communication Techniques Stanford Graduate School of Business
Multiple Concepts of Equality in the New Foundations of Mathematics by Vladimir Voevodsky FOMUS 2016
"What Can Philosophy Tell Us?" — A Paradigm Shift in Computer Science? TU Wien Informatics
How To Speak Fluently In English About Almost Anything EnglishAnyone
Is Mathematics Obsolete with Jeremy Avigad Santa Fe Institute
André Joyal --- Homotopy type theory: a new bridge between logic, category theory and topology.b The New York City Category Theory Seminar
Caecile Varslav Pedersen | Just as the Movements of the Winds Prevent the Seas from Stagnation Speculative Thought
Russell's Paradox - a simple explanation of a profound problem Jeffrey Kaplan
21st Century Gutenberg Project, Barry Abrahamsen, Dec 14, 2024 Al Wagar
Symbolic Logic Lecture #1: Basic Concepts of Logic Jack Sanders
What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky Institute for Advanced Study
Set Theory and the Philosophy of Set Theory Joel David Hamkins