{"id":1662,"date":"2021-02-21T23:16:06","date_gmt":"2021-02-21T22:16:06","guid":{"rendered":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/?p=1662"},"modified":"2021-06-10T11:06:20","modified_gmt":"2021-06-10T10:06:20","slug":"corso-di-matematiche-complementari-ii","status":"publish","type":"post","link":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1662-corso-di-matematiche-complementari-ii\/","title":{"rendered":"Corso di Matematiche Complementari II (2020\/21)"},"content":{"rendered":"\n<h2 class=\"wp-block-heading\">News<\/h2>\n\n\n\n<h2 class=\"wp-block-heading\">Descrizione del corso<\/h2>\n\n\n\n<p>Il corso sar\u00e0 tenuto dai prof. G. Vincenzi e L. Spada. L\u2019obiettivo \u00e8 fornire conoscenza degli aspetti fondazionali della matematica nel loro sviluppo storico.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">Frequenza<\/h3>\n\n\n\n<p>La frequenza non \u00e8 obbligatoria ma \u00e8&nbsp;<strong>fortemente consigliata<\/strong>.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">Contenuti<\/h3>\n\n\n\n<p>La parte del corso riguardante i fondamenti coprir\u00e0 i seguenti argomenti:<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Il metodo assiomatico. <\/li><li>Esempi di metodi assiomatici.<\/li><li>Coerenza, Completezza, Categoricit\u00e0 e Indipendenza. <\/li><li>La Teoria di Zermelo-Fraenkel. <\/li><li>Ordinali e Cardinali.<\/li><li>Assioma della scelta e alcune sue conseguenze importanti. <\/li><li>Il Programma di Hilbert.<\/li><li>Cenni sui teoremi di G\u00f6del.<\/li><\/ul>\n\n\n\n<p>Pi\u00f9 dettagliatamente,&nbsp;qui sotto saranno elencati i&nbsp;contenuti delle singole lezioni tenute da Luca Spada.<\/p>\n\n\n\n<ol class=\"wp-block-list\"><li><strong>03\/03\/2021<\/strong>&nbsp;\u2013 Introduzione al corso. Il sistema assiomatico.<\/li><li><strong><strong>10\/03\/2021<\/strong><\/strong>&nbsp;\u2013 Esempi di sistemi assiomatici e loro interpretazioni.<\/li><li><strong>17\/03\/2021<\/strong> \u2013 Un altro esempio: le flogghe che scorpano. Propriet\u00e0 dei sistemi formali: coerenza e soddisfacibilit\u00e0.<\/li><li><strong>24\/03\/2021<\/strong> \u2013 Indipendenza e completezza dei sistemi formali.<\/li><li><strong>31\/03\/2021<\/strong> \u2013 Lo sviluppo dei fondamenti tra il XVIII e XX secolo.<\/li><li><strong>07\/04\/2021<\/strong> \u2013 I primi assiomi di ZF.<\/li><li><strong>14\/04\/2021<\/strong> \u2013 Gli altri assiomi di ZF e loro prime conseguenze.<\/li><li><strong>21\/04\/2021<\/strong> \u2013 La costruzione di N, Z, Q e R all&#8217;interno di ZF. L&#8217;assioma di regolarit\u00e0 e l&#8217;assioma della scelta.<\/li><li><strong>28\/04\/2021<\/strong> \u2013 Insiemi transitivi, buoni ordini e Ordinali.<\/li><li><strong>05\/05\/2021<\/strong> \u2013 Propriet\u00e0 degli insiemi ben ordinati e degli ordinali.<\/li><li><strong>12\/05\/2021<\/strong> \u2013 Il teorema di tricotomia. Operazioni sugli ordinali.<\/li><li><strong>19\/05\/2021<\/strong> \u2013 I cardinali.  Conclusioni.<\/li><\/ol>\n\n\n\n<h2 class=\"wp-block-heading\">Materiale del corso<\/h2>\n\n\n\n<ul class=\"wp-block-list\"><li><strong>Testi consigliati:<\/strong><ul><li>M. Borga, D. Palladino, <em>Oltre il mito della crisi: fondamenti e filosofia della matematica del XX secolo<\/em>. Editrice La Scuola.<\/li><li>G. Lolli, <em>Tavoli, sedie e boccali di birra: David Hilbert e la matematica del Novecento<\/em>. Raffaello Cortina Editore.<\/li><li>S. Leonesi, C. Toffalori. <em>Matematica, Miracoli e Paradossi. Storie di Cardinali da Cantor a G\u00f6del<\/em> (2007) Mondadori.<\/li><li>G. Gerla, Dagli Insiemi alla Logica Matematica. <em>Tentativi di Fondare la Matematica<\/em>, Volume I e II. Ilmiolibro.it.<\/li><\/ul><\/li><\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">Aspetti pratici<\/h2>\n\n\n\n<ul class=\"wp-block-list\"><li>Docenti:&nbsp;<a href=\"mailto:luca.spada@gmail.com\">Luca Spada<\/a> e <a href=\"https:\/\/docenti.unisa.it\/001518\/home\">Giovanni Vincenzi<\/a><\/li><li><a href=\"https:\/\/teams.microsoft.com\/l\/team\/19%3a18053066103b498686606773725675cd%40thread.tacv2\/conversations?groupId=5b969128-1149-422a-9b0e-dba979cf8c3e&amp;tenantId=c30767db-3dda-4dd4-8a4d-097d22cb99d3\">Link Teams<\/a><\/li><\/ul>\n\n\n\n<h3 class=\"wp-block-heading\">Crediti\/ore:<\/h3>\n\n\n\n<ul class=\"wp-block-list\"><li>Durata: 48 ore (12 settimane).<\/li><li>CFU: 6<\/li><\/ul>\n\n\n\n<h3 class=\"wp-block-heading\">Date\/aule:<\/h3>\n\n\n\n<ul class=\"wp-block-list\"><li>Le lezioni cominceranno luned\u00ec 1 marzo su Microsoft Teams.<\/li><li>Ci sono due lezioni a settimana:<ul><li>luned\u00ec dalle 16:00 alle 18:00 (Vincenzi),<strong>&nbsp;online su Teams.<\/strong><\/li><li>mercoled\u00ec dalle 15:00 alle 17:00 (Spada),<strong>&nbsp;online su Teams.<\/strong><\/li><\/ul><\/li><\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">Esercizi\/Esami<\/h2>\n\n\n\n<h3 class=\"wp-block-heading\">Esame:<\/h3>\n\n\n\n<ul class=\"wp-block-list\"><li>L\u2019esame per questo corso \u00e8 solo orale.&nbsp;<\/li><\/ul>\n\n\n\n<h3 class=\"wp-block-heading\">Appelli d\u2019esame:<\/h3>\n\n\n\n<ul class=\"wp-block-list\"><li>Appelli estivi: 10 giugno 2021 e 13 luglio 2021 (Il primo a distanza il secondo sia in presenza che a distanza).<\/li><li>Appello autunnale: 6 settembre 2021 (sia in presenza che a distanza).<\/li><li>Un ulteriore appello nel periodo tra l\u20198 novembre e il 10 dicembre 2021.<\/li><\/ul>\n","protected":false},"excerpt":{"rendered":"<p>News Descrizione del corso Il corso sar\u00e0 tenuto dai prof. G. Vincenzi e L. Spada. L\u2019obiettivo \u00e8 fornire conoscenza degli aspetti fondazionali della matematica nel loro sviluppo storico. Frequenza La frequenza non \u00e8 obbligatoria ma \u00e8&nbsp;fortemente consigliata. Contenuti La parte del corso riguardante i fondamenti coprir\u00e0 i seguenti argomenti: Il metodo assiomatico. Esempi di metodi [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3],"tags":[199,201,159,200,158],"class_list":["post-1662","post","type-post","status-publish","format-standard","hentry","category-teaching","tag-axiom-of-choice","tag-hilberts-programme","tag-logic","tag-set-theory","tag-teaching"],"blocksy_meta":[],"_links":{"self":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/1662","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/comments?post=1662"}],"version-history":[{"count":16,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/1662\/revisions"}],"predecessor-version":[{"id":1743,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/1662\/revisions\/1743"}],"wp:attachment":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/media?parent=1662"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/categories?post=1662"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/tags?post=1662"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}