QED Lecture 1, Part 7: Summing Probability Amplitudes & Photomultiplier Detection

Name: QED Lecture 1, Part 7: Summing Probability Amplitudes & Photomultiplier Detection
Uploaded: 2026-09-22T00:23:39.000Z
Duration: 21 min 6 s
Channel: Leni Aniva
Description: This presentation introduces Prismriver, a Lean 4 library for formalizing music theory, enabling verifiable algorithmic composition and generalizing beyond equal temperament tuning.

Leni Aniva

Browse

Stanford University·Leni Aniva

21:06

0:00/21:06

Notebook

Press N to jot a timestamped note or B to pin a moment while watching.

Open in Study Notebook →

QED Lecture 1, Part 7: Summing Probability Amplitudes & Photomultiplier Detection

Leni Aniva Stanford University

21:06·2026·graduate level·Conference Talk

YouTube

This presentation introduces Prismriver, a Lean 4 library for formalizing music theory, enabling verifiable algorithmic composition and generalizing beyond equal temperament tuning.

Prismriver: Formalization of Music Theory and Algorithmic Composition in Lean 4 (Video, FARM 2026) Leni Aniva, Claire Wang (Stanford University, USA; University of Pennsylvania, USA)

Mathematics Systems & CS Probability & Information Theory Formal Methods & Type Theory Music Theory, Counterpoint & Psychoacoustics Formal Verification & Logic Proof Assistants Algorithmic Composition