The Hardest Problem in Type Theory - Computerphile
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.
More of Thorsten on Type Theory: https://bit.ly/C_Thor_playlist
Thorsten's paper dedicated to Martin: https://bit.ly/C_Thor_Paper
https://www.facebook.com/computerphile
https://twitter.com/computer_phile
This video was filmed and edited by Sean Riley.
Computer Science at the University of Nottingham: https://bit.ly/nottscomputer
Computerphile is a sister project to Brady Haran's Numberphile. More at http://www.bradyharan.com
Видео The Hardest Problem in Type Theory - Computerphile канала Computerphile
More of Thorsten on Type Theory: https://bit.ly/C_Thor_playlist
Thorsten's paper dedicated to Martin: https://bit.ly/C_Thor_Paper
https://www.facebook.com/computerphile
https://twitter.com/computer_phile
This video was filmed and edited by Sean Riley.
Computer Science at the University of Nottingham: https://bit.ly/nottscomputer
Computerphile is a sister project to Brady Haran's Numberphile. More at http://www.bradyharan.com
Видео The Hardest Problem in Type Theory - Computerphile канала Computerphile
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Computer Science ∩ Mathematics (Type Theory) - ComputerphileCoding Trees in Python - ComputerphileRecreating Dennis Ritchie's PhD Thesis - ComputerphileRunning a Buffer Overflow Attack - ComputerphileThe Lightning Algorithm - NumberphileSHA: Secure Hashing Algorithm - ComputerphileLaziness in Python - ComputerphileCracking Enigma in 2021 - ComputerphileHomotopy Type Theory Discussed - ComputerphileProgramming Loops vs Recursion - ComputerphileRegular Expressions - ComputerphileThe Simplest Math Problem No One Can Solve - Collatz ConjectureBit Blit Algorithm (Amiga Blitter Chip) - ComputerphileAI & Logical Induction - ComputerphileTypes of PDF - ComputerphileFloating Point Numbers - ComputerphileAtomic Brain? - ComputerphileReverse Polish Notation and The Stack - ComputerphileGPT3: An Even Bigger Language Model - Computerphile