Upload date
All time
Last hour
Today
This week
This month
This year
Type
All
Video
Channel
Playlist
Movie
Duration
Short (< 4 minutes)
Medium (4-20 minutes)
Long (> 20 minutes)
Sort by
Relevance
Rating
View count
Features
HD
Subtitles/CC
Creative Commons
3D
Live
4K
360°
VR180
HDR
493,150 results
Lecture 6. Computability What is computability? Kurt Gödel defined a robust class of computable functions, the primitive recursive ...
8,976 views
3 years ago
Russell Miller, Queen's College and CUNY Graduate Center, gives an Association for Symbolic Logic Invited Address on ...
264 views