{"id":403,"date":"2023-10-10T09:05:24","date_gmt":"2023-10-10T09:05:24","guid":{"rendered":"http:\/\/videnskabshistorisk.dk\/?page_id=403"},"modified":"2023-10-10T09:05:24","modified_gmt":"2023-10-10T09:05:24","slug":"2023-11-14","status":"publish","type":"page","link":"http:\/\/videnskabshistorisk.dk\/index.php\/2023-11-14\/","title":{"rendered":"2023-11-14"},"content":{"rendered":"\n
\"\"<\/a><\/figure>\n\n\n\n
\n

Lecture, Tuesday, 14 November 2023<\/h2>\n\n\n\n
\"\"<\/figure>
\n

Jan von Plato<\/strong>
University of Helsinki<\/p>\n<\/div><\/div>\n\n\n\n

G\u00f6del’s achievement in logic and foundations in the light of his shorthand notes<\/h2>\n\n\n\n

Kurt G\u00f6del (1906-1978) ceased to publish new results on logic and foundations of mathematics in 1939, but he left behind literally thousands of pages of notes on the topic, written in an archaic German shorthand. The systematic study of these notes began in 2017 and has revealed two things: First, how G\u00f6del became a logician and how he found his famous completeness and incompleteness theorems and other published results. Secondly, there is a whole book-length very clearly written summary of results he considered finished, the “Resultate Grundlagen” of 1940-42, most of it new results on set theory and intuitionistic logic. This study has been conducted within the ERC Advanced Grant project GODELIANA based at the University of Helsinki. Planned further work on the G\u00f6del notebooks concern his 16 “Arbeitshefte,” the central aim of which was to solve Hilbert’s first and second problem, the continuum hypothesis and the consistency of analysis. These notebooks of some 1200 pages altogether contain, among others, a system of constructive analysis based on Brouwer’s notion of choice sequences, a theory of computable functionals of higher type, and a proof of the independence of the axiom of choice that uses an intensional topological model of type theory.<\/p>\n\n\n\n

Tuesday, 14 November 2023, 5:00 pm
Auditorium 5<\/strong> at H. C. \u00d8rsted Institute,
Universitetsparken 5, K\u00f8benhavn<\/p>\n\n\n\n

At 4.30 pm coffee, tea and fruit in the lunch room of the
Department of Mathematical Sciences, room 04.4.19, on the 4th floor.<\/p>\n\n\n\n

Jan von Plato will give the same lecture at the Centre for Science Studies<\/a>,
Aarhus University, Wednesday 15 November, 2:15 pm.<\/p>\n\n\n

\n
\"\"
G\u00f6del manuscript<\/figcaption><\/figure>\n<\/div><\/div><\/div>\n","protected":false},"excerpt":{"rendered":"

Lecture, Tuesday, 14 November 2023 Jan von PlatoUniversity of Helsinki G\u00f6del’s achievement in logic and foundations in the light of his shorthand notes Kurt G\u00f6del (1906-1978) ceased to publish new results on logic and foundations of mathematics in 1939, but he left behind literally thousands of pages of notes on the topic, written in an… L\u00e6s mere 2023-11-14<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"tw-no-title.php","meta":{"inline_featured_image":false,"footnotes":""},"class_list":["post-403","page","type-page","status-publish","hentry","entry"],"_links":{"self":[{"href":"http:\/\/videnskabshistorisk.dk\/index.php\/wp-json\/wp\/v2\/pages\/403","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/videnskabshistorisk.dk\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/videnskabshistorisk.dk\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/videnskabshistorisk.dk\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/videnskabshistorisk.dk\/index.php\/wp-json\/wp\/v2\/comments?post=403"}],"version-history":[{"count":1,"href":"http:\/\/videnskabshistorisk.dk\/index.php\/wp-json\/wp\/v2\/pages\/403\/revisions"}],"predecessor-version":[{"id":404,"href":"http:\/\/videnskabshistorisk.dk\/index.php\/wp-json\/wp\/v2\/pages\/403\/revisions\/404"}],"wp:attachment":[{"href":"http:\/\/videnskabshistorisk.dk\/index.php\/wp-json\/wp\/v2\/media?parent=403"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}