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

Computerphile: Season 2024

2024x07 Mechanizing Mathematical Proofs
TV-G

  • 2024-02-20T13:00:00Z on YouTube
  • 10m
  • United States
  • Documentary
A graphical problem seems intuitive to a human, but how do you explain something formally to a machine? Dr. Mohammad Abdulaziz, Lecturer in Artificial Intelligence, King's College London
Private Notes
Add
Private Notes
Check In
Add to history
Add to collection
Add to list
Add comment
Loading...