{"id":12455,"date":"2025-06-25T11:58:38","date_gmt":"2025-06-25T09:58:38","guid":{"rendered":"https:\/\/dbdmg.polito.it\/dbdmg_web\/?p=12455"},"modified":"2025-06-25T11:58:38","modified_gmt":"2025-06-25T09:58:38","slug":"reading-group-27-june-2025","status":"publish","type":"post","link":"https:\/\/dbdmg.polito.it\/dbdmg_web\/2025\/reading-group-27-june-2025\/","title":{"rendered":"Reading Group 27 June 2025"},"content":{"rendered":"\n<p class=\" eplus-wrapper\"><strong>Title<\/strong>: Minds, Machines and Godel<br>\ud83d\udd17 <a href=\"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/727219EDEB5DD3679E56CF3D335C90C1\/S0031819100057983a.pdf\/minds_machines_and_godel1.pdf\">https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/727219EDEB5DD3679E56CF3D335C90C1\/S0031819100057983a.pdf\/minds_machines_and_godel1.pdf<\/a><\/p>\n\n\n\n<p class=\" eplus-wrapper\"><strong>Abstract<\/strong>: In this article, Lucas maintains the falseness of Mechanism &#8211; the attempt to explain minds as machines &#8211; by means of Incompleteness Theorem of G\u00f6del. G\u00f6del\u2019s theorem shows that in any system consistent and adequate for simple arithmetic there are formulae which cannot be proved in the system but that human minds can recognize as true; Lucas points out in his turn that G\u00f6del\u2019s theorem applies to machines because a machine is the concrete instantiation of a formal system: therefore, for every machine consistent and able of doing simple arithmetic, there is a formula that it can\u2019t produce as true but that we can see to be true, and so human minds and machines have to be different. Lucas considers as well in this article some possible objections to his argument: for any G\u00f6delian formula we could, for instance, construct a machine able to produce it (indeed the procedure whereby a G\u00f6delian formula is constructed is a standard procedure) or we could put the G\u00f6delian formulae that we had proved as axioms of a further machine. However for every of such machines we could again formulate another G\u00f6delian formula, the G\u00f6delian formula of these machines, that they are not able to proof but that we can recognize as true.<\/p>\n\n\n\n<p class=\" eplus-wrapper\"><strong>Speaker:<\/strong> Matteo Berta<\/p>\n\n\n\n<p class=\" eplus-wrapper\">\u2014<br>\ud83d\uddd3\ufe0f Friday, June 27, 2025, Time 12:00-13:00<br>\ud83d\udccd Meeting Room 1 \u2013 DAUIN<br>\ud83d\udcbb <a href=\"https:\/\/polito-it.zoom.us\/j\/85220942232?pwd=7MVooHhMRAnO0Cv9dj4dhDNTQ8KGwk.1&amp;from=addon\">Zoom Meeting<\/a><\/p>\n\n\n\n<p class=\" eplus-wrapper\"><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\ud83d\udcc3 Minds, Machines and Godel<\/p>\n<p>\ud83d\uddd3\ufe0f June 27, 2025, Time 12:00-13:00<\/p>\n","protected":false},"author":40,"featured_media":0,"comment_status":"closed","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"editor_plus_copied_stylings":"{}","footnotes":""},"categories":[42,45],"tags":[],"class_list":["post-12455","post","type-post","status-publish","format-standard","hentry","category-events","category-reading-group"],"_links":{"self":[{"href":"https:\/\/dbdmg.polito.it\/dbdmg_web\/wp-json\/wp\/v2\/posts\/12455","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dbdmg.polito.it\/dbdmg_web\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dbdmg.polito.it\/dbdmg_web\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dbdmg.polito.it\/dbdmg_web\/wp-json\/wp\/v2\/users\/40"}],"replies":[{"embeddable":true,"href":"https:\/\/dbdmg.polito.it\/dbdmg_web\/wp-json\/wp\/v2\/comments?post=12455"}],"version-history":[{"count":1,"href":"https:\/\/dbdmg.polito.it\/dbdmg_web\/wp-json\/wp\/v2\/posts\/12455\/revisions"}],"predecessor-version":[{"id":12456,"href":"https:\/\/dbdmg.polito.it\/dbdmg_web\/wp-json\/wp\/v2\/posts\/12455\/revisions\/12456"}],"wp:attachment":[{"href":"https:\/\/dbdmg.polito.it\/dbdmg_web\/wp-json\/wp\/v2\/media?parent=12455"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dbdmg.polito.it\/dbdmg_web\/wp-json\/wp\/v2\/categories?post=12455"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dbdmg.polito.it\/dbdmg_web\/wp-json\/wp\/v2\/tags?post=12455"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}