proofs are programs

Unknown Channel

Unknown Channel28.6K subscribers

Apr 26, 2025

Download

0 formats

No download links available.

Related Videos

20

Meaning in Logic

Attic Philosophy

11.0K views · 1 year ago

Biggest Puzzle in Computer Science P vs. NP

Quanta Magazine

13.0M views · 2 years ago

Propositions as Types - Computerphile

Computerphile

103.0K views · 8 years ago

Introduction to Type Theory

Attic Philosophy

74.0K views · 2 months ago

The Strange Math That Predicts (Almost) Anything

Veritasium

11.0M views · 9 months ago

Programming with Math The Lambda Calculus

Eyesomorphic

409.0K views · 1 year ago

Proof Theory Impressionism Blurring the Curry-Howard Line by Dan Pittman

Strange Loop Conference

15.0K views · 7 years ago

The Most Controversial Idea In Math

Veritasium

14.0M views · 1 year ago

Higher Order Logic

Attic Philosophy

18.0K views · 9 months ago

The Boundary of Computation

Mutual Information

12.0M views · 2 years ago

Intuitionistic Logic Attic Philosophy

Attic Philosophy

16.0K views · 5 years ago

Type Theory in Computer Science, Linguistics, Logic

Attic Philosophy

42.0K views · 10 months ago

Astonishing discovery by computer scientist how to squeeze space into time

Chalk Talk

818.0K views · 11 months ago

What P vs NP is actually about

Polylog

230.0K views · 1 year ago

Does math have a major flaw - Jacqueline Doan and Alex Kazachek

TED-Ed

401.0K views · 2 years ago

Emily Riehl Makes Infinity Categories Elementary

Curt Jaimungal

59.0K views · 1 year ago

The Curry-Howard Correspondence

Michael Ryan Clarkson

98.0K views · 4 years ago

Lean4 and the Curry-Howard Isomorphism (Luis Wirth)

ZUCCMAP

41.0K views · 1 year ago

Programming with Proofs - Computerphile

Computerphile

78.0K views · 4 years ago

The Brain’s Learning Algorithm Isn’t Backpropagation

Artem Kirsanov

590.0K views · 1 year ago

© 2026 NatokHD. Not affiliated with YouTube.

About Terms Contact

proofs are programs | NatokHD