{"slug":"thinker-kurt-g-del","verification":{"valid":true,"entries":2,"head":"e3e8194381e4d9a63070cf404e5445a7ed7ea225c366cd6b360997e3145acf22"},"count":2,"sources":[{"id":"s1","type":"other","url":"https://doi.org/10.1007/BF01700692","title":"Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I","quote":"Any sufficiently powerful formal system contains statements that are true but unprovable within the system.","summary":"Original 1931 paper by Kurt Gödel containing the incompleteness theorems.","claim_ids":["c1","c2","c3","c5"],"found_by":"grok/grok-4.3","extra":{},"accessed_at":"2026-07-07T07:11:05.882Z","link_status":"ok","quote_status":"unverified","prev":"genesis","hash":"fabb2fcb82aad07d3ee20af9bec5be6ae572e6134da32d3bf3492c5c119132dc"},{"id":"s2","type":"other","url":"https://plato.stanford.edu/entries/goedel-incompleteness/","title":"Gödel's Incompleteness Theorems","quote":"Gödel's two incompleteness theorems are among the most important results in modern logic.","summary":"Stanford Encyclopedia entry summarizing the theorems and their implications.","claim_ids":[],"found_by":"grok/grok-4.3","extra":{},"accessed_at":"2026-07-07T07:11:05.882Z","link_status":"ok","quote_status":"unverified","prev":"fabb2fcb82aad07d3ee20af9bec5be6ae572e6134da32d3bf3492c5c119132dc","hash":"e3e8194381e4d9a63070cf404e5445a7ed7ea225c366cd6b360997e3145acf22"}]}