Proof theorists

Paul Lorenzen

Paul Lorenzen (March 24, 1915 – October 1, 1994) was a German philosopher and mathematician, founder of the Erlangen School (with Wilhelm Kamlah) and inventor of game semantics (with Kuno Lorenz). (Wikipedia).

Paul Lorenzen
Video thumbnail

DEFCON 14: DNS Abuse Infrastructure and Games

Speaker: Gadi Evron Abstract: DNS operations today are no longer just a secure configuration and bandwidth, but rather a whole world of online abuse and criminal activities. In this presentation we will discuss how DNS has become this infrastructure for online crime and abuse. Spam, DDoS

From playlist DEFCON 14

Video thumbnail

Index Theory for Lorentzian Manifolds - Christian Bär

Seminar on Global Analysis Topic: Index Theory for Lorentzian Manifolds Speaker: Christian Bär Affiliation: University of Potsdam Date: November 15, 2022 Index theory goes back to Atiyah and Singer and deals with elliptic operators on Riemannian manifolds. It has numerous applications in

From playlist Mathematics

Video thumbnail

Special Relativity | Lecture 7

(May 21, 2012) Leonard Susskind reviews some of the heavy mathematics from the previous lecture and discusses how at times complicated mathematics is the only way to explain high level physics, briefly sharing his thoughts on how and where math and nature collide. In 1905, while only twen

From playlist Lecture Collection | Special Relativity

Video thumbnail

Maxwell's Equations in Tensor Form

It is a critical prerequisite of QED to understand how the laws of electromagnetism are encoded in tensor form. In this Lesson we build the 4-potential and then create the electromagnetic field tensor. Then we develop the 4-current and then combine everything into an arguably more elegant

From playlist QED- Prerequisite Topics

Video thumbnail

[Lesson 22] QED Prerequisites: The Electromagnetic Field Tensor

This is a REPOST of a lecture with video repairs and some annoying errors corrected! To reinforce our efforts to put the 4-potential at center stage we do a second development, this time founded in Lorentz invariance ala Landau and Lifshitz "Classical Theory of Fields." Then, we show how

From playlist QED- Prerequisite Topics

Video thumbnail

The Computer Chronicles - The Macintosh Computer (1985)

Special thanks to archive.org for hosting these episodes. Downloads of all these episodes and more can be found at: http://archive.org/details/computerchronicles

From playlist Early Microcomputers & PCs

Related pages

Helmut Hasse | Maxwell's equations | Impredicativity | Constructive analysis | Hermann Weyl | Mathematics | Game semantics | Proof theory