{"slug":"school-penrose-lucas-argument-g-del-penrose-non-computability","verification":{"valid":true,"entries":4,"head":"80ca263a58838915660c8d1192beb453e78df69f654652c3079b7dcac21ca028"},"count":4,"sources":[{"id":"s1","type":"other","url":"https://philomatica.org/wp-content/uploads/2021/12/lucas1961.pdf","title":"Minds, Machines and Gödel","quote":"no machine can be a complete and adequate model of the mind","summary":"1961 paper by J. R. Lucas applying Gödel to mechanism.","claim_ids":["c1"],"found_by":"grok/grok-4.3","extra":{},"accessed_at":"2026-07-10T06:53:42.144Z","link_status":"ok","quote_status":"unverified","prev":"genesis","hash":"3f93b40ad9aa9c11a98066331b382b547ddffb13d1c5e771f5d3a7c29f6c73a0"},{"id":"s2","type":"other","url":"https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems","title":"Gödel's incompleteness theorems","quote":"Kurt Gödel, paper on the incompleteness theorems (1931)","summary":"Primary reference to Gödel's 1931 publication.","claim_ids":["c2"],"found_by":"grok/grok-4.3","extra":{},"accessed_at":"2026-07-10T06:53:42.144Z","link_status":"ok","quote_status":"verified","prev":"3f93b40ad9aa9c11a98066331b382b547ddffb13d1c5e771f5d3a7c29f6c73a0","hash":"72b43c1f25469f9c5d862cc48a9c444a8f07fb0403e1ec2296ca34a65e3a3062"},{"id":"s3","type":"other","url":"https://en.wikipedia.org/wiki/The_Emperor%27s_New_Mind","title":"The Emperor's New Mind","quote":"Penrose argues that human consciousness is non-algorithmic","summary":"1989 book extending the argument to consciousness.","claim_ids":["c3"],"found_by":"grok/grok-4.3","extra":{},"accessed_at":"2026-07-10T06:53:42.144Z","link_status":"ok","quote_status":"unverified","prev":"72b43c1f25469f9c5d862cc48a9c444a8f07fb0403e1ec2296ca34a65e3a3062","hash":"9f6775b59b6fff30448d6ec16687776c6f49bac2cf17f260032794d008466637"},{"id":"s4","type":"other","url":"https://en.wikipedia.org/wiki/Shadows_of_the_Mind","title":"Shadows of the Mind","quote":"the essence of Penrose's argument is that ... Gödel-type results are provable by human mathematicians","summary":"1994 book developing the non-computability case.","claim_ids":["c3"],"found_by":"grok/grok-4.3","extra":{},"accessed_at":"2026-07-10T06:53:42.144Z","link_status":"ok","quote_status":"unverified","prev":"9f6775b59b6fff30448d6ec16687776c6f49bac2cf17f260032794d008466637","hash":"80ca263a58838915660c8d1192beb453e78df69f654652c3079b7dcac21ca028"}]}