videos: 9
This data as json
| id | slug | title | subtitle | preview | image | video | category | tags | date | status | confidence | importance | state |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 9 | godels-theorems-depth | Gödel's Theorems in Depth | Limits of formal axiomatic systems. | Exploring Gödel's first and second incompleteness theorems. | https://i.ytimg.com/vi/DxREm3s1scA/maxresdefault.jpg | https://cdn.krisyotam.com/videos/godel-theorems.mp4 | Logic | ["incompleteness", "formal systems", "proof theory"] | 2025-04-30 | Finished | certain | 8 | active |