{"id":473,"date":"2024-02-12T14:19:58","date_gmt":"2024-02-12T13:19:58","guid":{"rendered":"https:\/\/archimedes.umcs.pl\/spotkania\/?p=473"},"modified":"2024-03-06T10:01:02","modified_gmt":"2024-03-06T09:01:02","slug":"twierdzenia-godla-najwazniejsze-osiagniecie-wspolczesnej-matematyki-czy-nieistotna-ekstrawagancja","status":"publish","type":"post","link":"https:\/\/archimedes.umcs.pl\/spotkania\/twierdzenia-godla-najwazniejsze-osiagniecie-wspolczesnej-matematyki-czy-nieistotna-ekstrawagancja\/","title":{"rendered":"Twierdzenia G\u00f6dla: najwa\u017cniejsze osi\u0105gni\u0119cie wsp\u00f3\u0142czesnej matematyki czy nieistotna ekstrawagancja?"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\"><strong>dr Jerzy Mycka<\/strong><br>Instytut Matematyki UMCS w Lublinie<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">11 marca 2024, poniedzia\u0142ek<br>godzina 17:00<\/p>\n\n\n\n<div class=\"wp-block-buttons is-content-justification-center is-layout-flex wp-container-core-buttons-is-layout-20959078 wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link has-background wp-element-button\" href=\"https:\/\/teams.microsoft.com\/l\/meetup-join\/19%3alzd6fGCRPQ_xi700MXf8h9SFKNuvrKxarIc1WHb0zUg1%40thread.tacv2\/1709715337286?context=%7b%22Tid%22%3a%2280dbd34a-9b20-490b-ac49-035af103ab2b%22%2c%22Oid%22%3a%22fabc5b2d-1239-40d4-a088-7c854f0859ab%22%7d\" style=\"background-color:#005e9f\" target=\"_blank\" rel=\"noreferrer noopener\">Link do wyk\u0142adu na platformie MS Teams<\/a><\/div>\n<\/div>\n\n\n\n<p class=\"wp-block-paragraph\">XIX wiek by\u0142 czasem stopniowego u\u015bci\u015blania i precyzowania fundamentalnych poj\u0119\u0107 matematycznych. Na pocz\u0105tku XX wieku ten proces doprowadzi\u0142 do postawienia ostatecznego pytania: jak uzasadni\u0107 pewno\u015b\u0107 matematyki jako systematycznej zorganizowanej teorii? Zdumiewaj\u0105cej odpowiedzi na to pytanie udzieli\u0142 Kurt G\u00f6del (&#8222;\u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme, I&#8221;, Monatshefte f\u00fcr Mathematik und Physik, 38 (1), 1931).\u00a0<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">O czym m\u00f3wi\u0105 twierdzenia G\u00f6dla? Dlaczego spotka\u0142y si\u0119 z niech\u0119tnym przyj\u0119ciem? Czy maj\u0105 znacz\u0105ce konsekwencje dla nauki i filozofii w XXI wieku?<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Pr\u00f3b\u0119 wyja\u015bnienia powy\u017cszych zagadnie\u0144 podejmiemy na najbli\u017cszym spotkaniu \ud83d\ude42<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Zapraszamy.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><em>Either mathematics is too big for the human mind, or the human mind is more than a machine<\/em><\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"640\" height=\"360\" src=\"https:\/\/archimedes.umcs.pl\/spotkania\/wp-content\/uploads\/sites\/11\/2024\/02\/Godel.jpg\" alt=\"\" class=\"wp-image-478\" srcset=\"https:\/\/archimedes.umcs.pl\/spotkania\/wp-content\/uploads\/sites\/11\/2024\/02\/Godel.jpg 640w, https:\/\/archimedes.umcs.pl\/spotkania\/wp-content\/uploads\/sites\/11\/2024\/02\/Godel-300x169.jpg 300w\" sizes=\"auto, (max-width: 640px) 100vw, 640px\" \/><\/figure>\n","protected":false},"excerpt":{"rendered":"<p>dr Jerzy MyckaInstytut Matematyki UMCS w Lublinie 11 marca 2024, poniedzia\u0142ekgodzina 17:00 XIX wiek by\u0142 czasem stopniowego u\u015bci\u015blania i precyzowania fundamentalnych poj\u0119\u0107 matematycznych. Na pocz\u0105tku XX wieku ten proces doprowadzi\u0142 do postawienia ostatecznego pytania: jak uzasadni\u0107 pewno\u015b\u0107 matematyki jako systematycznej zorganizowanej teorii? Zdumiewaj\u0105cej odpowiedzi na to pytanie udzieli\u0142 Kurt G\u00f6del (&#8222;\u00dcber formal unentscheidbare S\u00e4tze der [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-473","post","type-post","status-publish","format-standard","hentry","category-bez-kategorii"],"_links":{"self":[{"href":"https:\/\/archimedes.umcs.pl\/spotkania\/wp-json\/wp\/v2\/posts\/473","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/archimedes.umcs.pl\/spotkania\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/archimedes.umcs.pl\/spotkania\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/archimedes.umcs.pl\/spotkania\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/archimedes.umcs.pl\/spotkania\/wp-json\/wp\/v2\/comments?post=473"}],"version-history":[{"count":5,"href":"https:\/\/archimedes.umcs.pl\/spotkania\/wp-json\/wp\/v2\/posts\/473\/revisions"}],"predecessor-version":[{"id":507,"href":"https:\/\/archimedes.umcs.pl\/spotkania\/wp-json\/wp\/v2\/posts\/473\/revisions\/507"}],"wp:attachment":[{"href":"https:\/\/archimedes.umcs.pl\/spotkania\/wp-json\/wp\/v2\/media?parent=473"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/archimedes.umcs.pl\/spotkania\/wp-json\/wp\/v2\/categories?post=473"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/archimedes.umcs.pl\/spotkania\/wp-json\/wp\/v2\/tags?post=473"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}