{"id":980,"date":"2019-03-04T07:35:52","date_gmt":"2019-03-04T07:35:52","guid":{"rendered":"http:\/\/blogit.utu.fi\/filosofia\/?p=980"},"modified":"2019-03-04T07:37:13","modified_gmt":"2019-03-04T07:37:13","slug":"filosofiaa-ja-matematiikkaa-turussa","status":"publish","type":"post","link":"https:\/\/blogit.utu.fi\/filosofia\/2019\/03\/04\/filosofiaa-ja-matematiikkaa-turussa\/","title":{"rendered":"Filosofiaa ja matematiikkaa Turussa"},"content":{"rendered":"

15. maaliskuuta 2019<\/p>\n

Turku workshop on incompleteness and independence<\/strong><\/p>\n

Professori Joseph Almogin organisoima seminaari pidet\u00e4\u00e4n Publicumilla luentosalissa Pub 4.<\/p>\n

Ohjelma:<\/p>\n

10.00 Joseph Almog (Turku) Opening remarks on workshop theme<\/p>\n

10.30 Gabriel Sandu (Helsinki) Independence friendly logic<\/p>\n

11.30 Ulla Karhum\u00e4ki (Manchester) Morley-Group theoretic questions and model theory<\/p>\n

12.15 Andrei Rodin (St. Petersburg) Genetic and Axiomatic Methods of Theory-Building from Hilbert to Voevodsky<\/p>\n

13.00 Lunch<\/p>\n

14.00 Teemu Pirttim\u00e4ki (Turku) Lindstrom\u2019s theorem<\/p>\n

15.30 Kai Hauser (Berlin) What computers cannot do<\/p>\n

16.30 Vesa Halava\/Joseph Almog (Turku) Completeness\u00a0 as existence of non standard models<\/p>\n

17.15-17.30 Concluding Remarks<\/p>\n","protected":false},"excerpt":{"rendered":"

15. maaliskuuta 2019 Turku workshop on incompleteness and independence Professori Joseph Almogin organisoima seminaari pidet\u00e4\u00e4n Publicumilla luentosalissa Pub 4. Ohjelma: 10.00 Joseph Almog (Turku) Opening remarks on workshop theme 10.30 Gabriel Sandu (Helsinki) Independence friendly logic 11.30 Ulla Karhum\u00e4ki (Manchester) Morley-Group theoretic questions and model theory 12.15 Andrei Rodin (St. Petersburg) Genetic and Axiomatic Methods … <\/p>\n

Jatka lukemista ”Filosofiaa ja matematiikkaa Turussa”<\/span><\/a><\/p>\n","protected":false},"author":27,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-980","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/blogit.utu.fi\/filosofia\/wp-json\/wp\/v2\/posts\/980","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogit.utu.fi\/filosofia\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogit.utu.fi\/filosofia\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogit.utu.fi\/filosofia\/wp-json\/wp\/v2\/users\/27"}],"replies":[{"embeddable":true,"href":"https:\/\/blogit.utu.fi\/filosofia\/wp-json\/wp\/v2\/comments?post=980"}],"version-history":[{"count":2,"href":"https:\/\/blogit.utu.fi\/filosofia\/wp-json\/wp\/v2\/posts\/980\/revisions"}],"predecessor-version":[{"id":986,"href":"https:\/\/blogit.utu.fi\/filosofia\/wp-json\/wp\/v2\/posts\/980\/revisions\/986"}],"wp:attachment":[{"href":"https:\/\/blogit.utu.fi\/filosofia\/wp-json\/wp\/v2\/media?parent=980"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogit.utu.fi\/filosofia\/wp-json\/wp\/v2\/categories?post=980"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogit.utu.fi\/filosofia\/wp-json\/wp\/v2\/tags?post=980"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}