{"id":6743,"date":"2012-10-29T13:21:06","date_gmt":"2012-10-29T12:21:06","guid":{"rendered":"https:\/\/www.quicosenza.it\/news\/?p=6743"},"modified":"2023-01-17T13:39:58","modified_gmt":"2023-01-17T12:39:58","slug":"2720-unical-lezione-dello-scienziato-martin-davis","status":"publish","type":"post","link":"https:\/\/quicosenza.it\/news\/2720-unical-lezione-dello-scienziato-martin-davis\/","title":{"rendered":"Unical, lezione dello scienziato Martin Davis"},"content":{"rendered":"<p style=\"text-align: justify;\"><strong>COSENZA<\/strong> &#8211; E\u2019 stato un incontro che rimarr\u00e0 a lungo nella memoria di quanti vi hanno partecipato. Per l\u2019autorevolezza del relatore, il prof. Martin Davis, considerato<\/p>\n<p>  <!--more-->  <\/p>\n<p style=\"text-align: justify;\">dalla comunit\u00e0 scientifica internazionale un pioniere della \u201crivoluzione informatica\u201d ed uno studioso&nbsp; capace di fornire contributi eccezionali allo sviluppo delle scienze matematiche.&nbsp;Davis, questa mattina, ha tenuto una Distinguished Lecture presso la sala seminari del DEIS dell\u2019Universit\u00e0 della Calabria, nell\u2019ambito&nbsp; dei Colloqui Pitagorici organizzati dal Dipartimento.&nbsp; Lo studioso statunitense &#8211; che \u00e8 professore emerito presso la New York University ed \u00e8 famoso per il suo contributo al decimo problema di Hilbert e per essere uno degli autori dell&#8217;algoritmo DPLL &#8211; questa mattina, ha intrattenuto numerosi docenti e&nbsp; studenti dell\u2019UniCal con una relazione nel corso della quale ha illustrato l&#8217;uso di algoritmi ed equazioni per specificare gli insiemi di numeri naturali.&nbsp; Il professore Davis ha pure accennato ad uno dei temi che l\u2019hanno reso celebre e cio\u00e8 quello delle&nbsp; radici concettuali dell\u2019informatica. Soffermandosi sui&nbsp; concetti logici astratti che sono alla base dei calcolatori moderni ha, infatti,&nbsp; trattato le tappe fondamentali che hanno segnato la moderna societ\u00e0 dell\u2019informatica.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>COSENZA &#8211; E\u2019 stato un incontro che rimarr\u00e0 a lungo nella memoria di quanti vi hanno partecipato. Per l\u2019autorevolezza del relatore, il prof. Martin Davis, considerato<\/p>\n","protected":false},"author":22,"featured_media":6744,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":false,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[548,5,7],"tags":[],"class_list":["post-6743","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-archivio-storico-news","category-old","category-universita"],"acf":[],"jetpack_publicize_connections":[],"_links":{"self":[{"href":"https:\/\/quicosenza.it\/news\/wp-json\/wp\/v2\/posts\/6743","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/quicosenza.it\/news\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/quicosenza.it\/news\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/quicosenza.it\/news\/wp-json\/wp\/v2\/users\/22"}],"replies":[{"embeddable":true,"href":"https:\/\/quicosenza.it\/news\/wp-json\/wp\/v2\/comments?post=6743"}],"version-history":[{"count":0,"href":"https:\/\/quicosenza.it\/news\/wp-json\/wp\/v2\/posts\/6743\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/quicosenza.it\/news\/wp-json\/wp\/v2\/media\/6744"}],"wp:attachment":[{"href":"https:\/\/quicosenza.it\/news\/wp-json\/wp\/v2\/media?parent=6743"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/quicosenza.it\/news\/wp-json\/wp\/v2\/categories?post=6743"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/quicosenza.it\/news\/wp-json\/wp\/v2\/tags?post=6743"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}