Skip to content

Archive

Home Browse Courses Talks Study Paths

Directory

Institutions Speakers

Library

Playlists

A Conjecture That Had to Be True

⌘K

/

lectern.tv

Play15s30s1x0:00/--:--

DoneWatched

Expand

A Conjecture That Had to Be True

lectern.tv

Stanford University·Donald Knuth

1:07:02

0:00/1:07:02

Type below to lock the video timestamp, or press S to capture a slide.

A Conjecture That Had To Be True

Stanford University

1:07:02·2017·research·Public Lecture

Donald Knuth presents his 23rd Annual Christmas Tree Lecture, exploring a problem in combinatorial geometry and an astonishing formula whose universal truth, though unproven, seemed inevitable.

Donald Knuth's 23rd Annual Christmas Tree Lecture: A Conjecture That Had To Be True

Mathematics Combinatorics & Graph Theory Category Theory, Topos Theory & Set Foundations Set Theory & Proof Techniques Combinatorics & Generating Functions Asymptotic Analysis & Lower Bounds Discrete Mathematics

About the lecturer

Speaker directory →

Website Scholar

Professor Emeritus of The Art of Computer Programming at Stanford University

Professor Emeritus of The Art of Computer Programming at Stanford, 1974 Turing Laureate, and creator of TeX and algorithmic analysis.

2 lectures in archiveView profile

Discussion

Share a seminar note, question, or timestamped reference (e.g. 14:20)...Sign in

Published by the lecturer

Amazon Associate

The Art of Computer Programming, Volumes 1–4B

By the LecturerAmazon

The Art of Computer Programming, Volumes 1–4B

Donald E. Knuth

Turing Laureate Donald Knuth's monumental encyclopedia of fundamental, seminumerical, sorting, searching, and combinatorial algorithms.

Addison-Wesley Professional·2022·Boxed Set

Related lectures

5

The Continuum Hypothesis as a Fundamental Axiom

Joel David Hamkins · University of Oxford

Category Theory, Topos Theory & Set FoundationsShared subfield · Category Theory, Topos Theory & Set Foundations & Set Theory & Proof Techniques

''Quantum'' Rational Numbers

Valentin Ovsienko · CNRS

Combinatorics & Graph TheoryShared subfield · Combinatorics & Graph Theory & Combinatorics & Generating Functions

Spectral Graph Theory Beyond the Standard Graph Laplacian

Jenya Sapir · Binghamton University

Combinatorics & Graph TheoryShared subfield · Combinatorics & Graph Theory & Category Theory, Topos Theory & Set Foundations

Topological Algebra of Symplectic Geometry of Symmetric Powers

Vivek Shende · Harvard University

Combinatorics & Graph TheoryShared subfield · Combinatorics & Graph Theory & Combinatorics & Generating Functions

Mathematics and Metamathematics of Our Physics Project

Stephen Wolfram · Wolfram Research

Category Theory, Topos Theory & Set FoundationsShared subfield · Category Theory, Topos Theory & Set Foundations & Set Theory & Proof Techniques

Curriculum & Scholar Web

3 linked

Faculty Appointment9 courses · 191 lectures

Stanford University

Professor Emeritus of The Art of Computer Programming at Stanford University

Alma Mater6 courses · 76 lectures

California Institute of Technology

More from Donald Knuth

1

Faith and Science: Interactions

Stanford University

Faculty Appointment38 lectures

Google Research & TechTalks

Visiting lecturer and colloquium speaker at Google Research & TechTalks (Stanford University faculty).