{"id":39,"date":"2016-10-10T10:29:16","date_gmt":"2016-10-10T09:29:16","guid":{"rendered":"http:\/\/blogs.kent.ac.uk\/pgrseminars\/?p=39"},"modified":"2016-10-12T12:47:56","modified_gmt":"2016-10-12T11:47:56","slug":"woof","status":"publish","type":"post","link":"https:\/\/blogs.kent.ac.uk\/pgrseminars\/2016\/10\/10\/woof\/","title":{"rendered":"14 October 2016: Floris Claassens. &#8220;G\u00f6del&#8217;s incompleteness theorem.&#8221;"},"content":{"rendered":"<p>In the middle of the 19th century mathematicians started to question the fundaments of mathematics. Mathematics was a science of real truths but what were those truths build on? This led to the work of Gottlob Frege and Bertrand Russel to formalize the pillars of mathematics. At the turn of the century this search was encouraged by David Hilbert when he stated his 23 problems. Hilbert was certain his problems would be solved since &#8220;In mathematics there is no <i>ignorabimus.<\/i>&#8220;<i> <\/i>Whatever theorem we can come up with, Mathematics will prove it true or false. 31 years later Kurt<\/p>\n<div>\n<div>G\u00f6del proved him false. In mathematics there are problems that can&#8217;t be solved. The proof he gave was long and technical requiring a course to present and fully understand. In this talk we\u00a0will skip the technical work and\u00a0take a look an the rather genius\u00a0core ideas of G\u00f6del&#8217;s proof.<\/div>\n<\/div>\n<div><\/div>\n<div>We are currently looking for speakers for the PGR seminars for November and December. If you would like to speak yourself, or invite an external speaker, please get in touch with us.<\/div>\n","protected":false},"excerpt":{"rendered":"<p>In the middle of the 19th century mathematicians started to question the fundaments of mathematics. Mathematics was a science of real truths but what were &hellip; <a href=\"https:\/\/blogs.kent.ac.uk\/pgrseminars\/2016\/10\/10\/woof\/\">Read&nbsp;more<\/a><\/p>\n","protected":false},"author":2347,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[1],"tags":[],"_links":{"self":[{"href":"https:\/\/blogs.kent.ac.uk\/pgrseminars\/wp-json\/wp\/v2\/posts\/39"}],"collection":[{"href":"https:\/\/blogs.kent.ac.uk\/pgrseminars\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.kent.ac.uk\/pgrseminars\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.kent.ac.uk\/pgrseminars\/wp-json\/wp\/v2\/users\/2347"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.kent.ac.uk\/pgrseminars\/wp-json\/wp\/v2\/comments?post=39"}],"version-history":[{"count":5,"href":"https:\/\/blogs.kent.ac.uk\/pgrseminars\/wp-json\/wp\/v2\/posts\/39\/revisions"}],"predecessor-version":[{"id":51,"href":"https:\/\/blogs.kent.ac.uk\/pgrseminars\/wp-json\/wp\/v2\/posts\/39\/revisions\/51"}],"wp:attachment":[{"href":"https:\/\/blogs.kent.ac.uk\/pgrseminars\/wp-json\/wp\/v2\/media?parent=39"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.kent.ac.uk\/pgrseminars\/wp-json\/wp\/v2\/categories?post=39"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.kent.ac.uk\/pgrseminars\/wp-json\/wp\/v2\/tags?post=39"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}