01:25:47duration 1 hour 25 minutes
UC Davis AI Speaker Series: Martin…
UC Davis AI Speaker Series: Martin Hilbert—“What's the deal with ChatGPT?”
UC Davis professor Martin Hilbert presents an…
08:56duration 8 minutes 56 seconds
ECS 220 7c:7.5-1 Turing's applied philosophy
06:36duration 6 minutes 36 seconds
ECS 220 6c:7.2-3 Gödel’s…
ECS 220 6c:7.2-3 Gödel’s Incompleteness Theorem (soundness)
05:55duration 5 minutes 55 seconds
ECS 220 6c:7.2-2 From undecidable problems to…
ECS 220 6c:7.2-2 From undecidable problems to unprovable truths
14:13duration 14 minutes 13 seconds
ECS 220 6a:7.1 axiomatic foundation of mathematics