{"id":5917,"date":"2023-05-20T14:39:21","date_gmt":"2023-05-20T06:39:21","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=5917"},"modified":"2023-08-23T10:47:06","modified_gmt":"2023-08-23T02:47:06","slug":"moshe-vardi","status":"publish","type":"page","link":"http:\/\/tsinghualogic.net\/JRC\/moshe-vardi\/","title":{"rendered":"Moshe Vardi"},"content":{"rendered":"<div class=\"wp-block-image\">\n<figure class=\"alignleft size-full is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/MosheVardi-500x500-1.jpeg\" alt=\"\" class=\"wp-image-5907\" width=\"292\" height=\"293\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/MosheVardi-500x500-1.jpeg 500w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/MosheVardi-500x500-1-200x200.jpeg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/MosheVardi-500x500-1-80x80.jpeg 80w\" sizes=\"(max-width: 292px) 100vw, 292px\" \/><figcaption class=\"wp-element-caption\">Moshe Vardi<\/figcaption><\/figure><\/div>\n\n\n<p>Moshe Y. Vardi is University Professor and the George Distinguished Service Professor in Computational Engineering at Rice University. His research focues on the interface of mathematical logic and computation &#8212; inluding database theory, hardware\/software dessign and verification, multi-agent systems, and constraint satisfaction.&nbsp; He is the recipient of numerous awards, including the ACM SIGACT Goedel Prize, the ACM Kanellakis Award, the ACM SIGMOD Codd Award, the Knuth Prize, the IEEE Computer Society Goode Award, and the EATCS Distinguished Achievements Award.&nbsp; He is the author and co-author of over 750 papers, as well as two books. He is a Guggenheim Fellows as well as fellow of several societies, and a member of several academies, including the US National Academy of Engineering, National Academy of Science, and the Royal Society.&nbsp; He holds eight honorary doctorates.&nbsp; He is a Senior Editor of the Communications of the ACM, the premier publication in computing.<\/p>\n\n\n\n<p>Homepage: <a rel=\"noreferrer noopener\" href=\"https:\/\/www.cs.rice.edu\/~vardi\/\" target=\"_blank\">https:\/\/www.cs.rice.edu\/~vardi\/<\/a><\/p>\n\n\n\n<p><\/p>\n\n\n\n<p><\/p>\n\n\n\n<div style=\"height:27px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<p><strong><em>What came first, math or computing?<\/em><\/strong><\/p>\n\n\n\n<p>One of the most famous questions in the philosophy of mathematics is\u00a0whether mathematics is discovered or invented. As Timothy Gowers wrote:\u00a0&#8220;It has been asked over and over again, and it is not clear what would constitute a satisfactory answer.&#8221; In this talk I will address this\u00a0question from the perspective of a computer scientist. I will argue\u00a0that the developments of mathematics and computing has dovetailed\u00a0each other for thousands of years: Computing begat math, and math begat computing. Furthermore, both are connected to the real world via one of the most amazing faculties of the human mind: the capacity to abstract.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Moshe Y. Vardi is University Professor and the George D [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/5917"}],"collection":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/comments?post=5917"}],"version-history":[{"count":2,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/5917\/revisions"}],"predecessor-version":[{"id":6494,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/5917\/revisions\/6494"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=5917"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}