Timeline for Interpretation of the Second Incompleteness Theorem
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 10, 2010 at 0:43 | comment | added | Dan Ramras | On a Mac, I'm able to play the video of these lectures using the free software VLC: videolan.org/vlc | |
| Sep 9, 2010 at 17:37 | history | answered | user8248 | CC BY-SA 2.5 |