• 0%
    0 votes
  • Rate this episode
    What did you think?
  • 4
    watchers
  • 6
    plays
  • 5
    collected

Computerphile: Season 2021

2021x29 The Hardest Problem in Type Theory
TV-G

  • 2021-07-30T12:00:00Z on YouTube
  • 10m
  • United States
  • Documentary
Equality sounds a straightforward idea, but there are subtle problems in theoretical computer science. Professor Thorsten Altenkirch explains how his late friend Martin Hofmann solved one of the biggest problems.
Private Notes
Add
Private Notes
Check In
Add to history
Add to collection
Add to list
Add comment
Loading...