{"id":1917,"date":"2021-06-10T07:36:31","date_gmt":"2021-06-10T06:36:31","guid":{"rendered":"https:\/\/adavault.com\/?p=1917"},"modified":"2021-06-10T07:36:32","modified_gmt":"2021-06-10T06:36:32","slug":"goguen-and-alonzo","status":"publish","type":"post","link":"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/","title":{"rendered":"Goguen and Alonzo?"},"content":{"rendered":"\n

The Cardano smart contract Era is almost upon us. And you may have noticed that the team behind the project have a fondness for naming phases of the project<\/a> and specific releases after some of their heroes from the world of science, philosophy and mathematics.<\/p>\n\n\n\n

The project itself is named after Geralomo Cardano<\/a>, a Renaissance polymath who lived in Italy in the 16th Century.<\/p>\n\n\n\n

This current phase is known as Goguen, after Joseph Goguen<\/a> a computer scientist who pioneered work in a number of important fields such as fuzzy sets and abstract data types).<\/p>\n\n\n\n

The release that will actually fully implement Smart Contracts is named Alonzo, after Alonzo Church<\/a>, who along with Alan Turing formulated the Church-Turing thesis<\/a> (an important finding on the nature of computable functions).<\/p>\n\n\n\n

\"\"
Alonzo Church (1903\u20131995)<\/figcaption><\/figure><\/div>\n\n\n\n

The really big contribution that Church made to mathematics (which links to smart contracts) is Lambda Calculus<\/a>. From the wikipedia article:<\/p>\n\n\n\n

Lambda calculus<\/strong>\u00a0(also written as\u00a0\u03bb-calculus<\/strong>) is a\u00a0formal system<\/a>\u00a0in\u00a0mathematical logic<\/a>\u00a0for expressing\u00a0computation<\/a>\u00a0based on function\u00a0abstraction<\/a>\u00a0and\u00a0application<\/a>\u00a0using variable\u00a0binding<\/a>\u00a0and\u00a0substitution<\/a>. It is a universal\u00a0model of computation<\/a> that can be used to simulate any\u00a0Turing machine<\/a>. It was introduced by the mathematician\u00a0Alonzo Church<\/a>\u00a0in the 1930s as part of his research into the\u00a0foundations of mathematics<\/a>.<\/p>https:\/\/en.wikipedia.org\/wiki\/Lambda_calculus<\/cite><\/blockquote>\n\n\n\n

The use of Lambda calculus for smart contracts (via Plutus) is another one of the reasons that Cardano is so far ahead of the pack. We’ll come back and explore that another time.<\/p>\n","protected":false},"excerpt":{"rendered":"

The Cardano smart contract Era is almost upon us. And you may have noticed that the team behind the project have a fondness for naming phases of the project and specific releases after some of their heroes from the world of science, philosophy and mathematics. The project itself is named after Geralomo Cardano, a Renaissance…<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"inline_featured_image":false,"footnotes":""},"categories":[6],"tags":[240,64,251],"class_list":["post-1917","post","type-post","status-publish","format-standard","hentry","category-musings","tag-alonzo","tag-goguen","tag-lambda-calculus"],"yoast_head":"\nGoguen and Alonzo? - ADAvault<\/title>\n<meta name=\"description\" content=\"The ADAvault blog\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Goguen and Alonzo? - ADAvault\" \/>\n<meta property=\"og:description\" content=\"The ADAvault blog\" \/>\n<meta property=\"og:url\" content=\"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/\" \/>\n<meta property=\"og:site_name\" content=\"ADAvault\" \/>\n<meta property=\"article:published_time\" content=\"2021-06-10T06:36:31+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2021-06-10T06:36:32+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/adavault.com\/wp-content\/uploads\/2021\/06\/Alonzo_Church.jpg\" \/>\n<meta name=\"author\" content=\"webmaster\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:creator\" content=\"@adavaultops\" \/>\n<meta name=\"twitter:site\" content=\"@adavaultops\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"webmaster\" \/>\n\t<meta name=\"twitter:label2\" content=\"Estimated reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/\"},\"author\":{\"name\":\"webmaster\",\"@id\":\"https:\/\/dev.adavault.com\/#\/schema\/person\/49b7a35bfadc7aa22c3643a455a1f179\"},\"headline\":\"Goguen and Alonzo?\",\"datePublished\":\"2021-06-10T06:36:31+00:00\",\"dateModified\":\"2021-06-10T06:36:32+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/\"},\"wordCount\":258,\"publisher\":{\"@id\":\"https:\/\/dev.adavault.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/adavault.com\/wp-content\/uploads\/2021\/06\/Alonzo_Church.jpg\",\"keywords\":[\"Alonzo\",\"Goguen\",\"Lambda Calculus\"],\"articleSection\":[\"Musings\"],\"inLanguage\":\"en-GB\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/\",\"url\":\"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/\",\"name\":\"Goguen and Alonzo? - ADAvault\",\"isPartOf\":{\"@id\":\"https:\/\/dev.adavault.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/adavault.com\/wp-content\/uploads\/2021\/06\/Alonzo_Church.jpg\",\"datePublished\":\"2021-06-10T06:36:31+00:00\",\"dateModified\":\"2021-06-10T06:36:32+00:00\",\"description\":\"The ADAvault blog\",\"breadcrumb\":{\"@id\":\"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/#primaryimage\",\"url\":\"https:\/\/adavault.com\/wp-content\/uploads\/2021\/06\/Alonzo_Church.jpg\",\"contentUrl\":\"https:\/\/adavault.com\/wp-content\/uploads\/2021\/06\/Alonzo_Church.jpg\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/dev.adavault.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Goguen and Alonzo?\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/dev.adavault.com\/#website\",\"url\":\"https:\/\/dev.adavault.com\/\",\"name\":\"ADAvault\",\"description\":\"\",\"publisher\":{\"@id\":\"https:\/\/dev.adavault.com\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/dev.adavault.com\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-GB\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/dev.adavault.com\/#organization\",\"name\":\"ADAvault.com\",\"url\":\"https:\/\/dev.adavault.com\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/dev.adavault.com\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/dev.adavault.com\/wp-content\/uploads\/2020\/10\/cropped-logo-wp-top-2.png\",\"contentUrl\":\"https:\/\/dev.adavault.com\/wp-content\/uploads\/2020\/10\/cropped-logo-wp-top-2.png\",\"width\":512,\"height\":512,\"caption\":\"ADAvault.com\"},\"image\":{\"@id\":\"https:\/\/dev.adavault.com\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/x.com\/adavaultops\"]},{\"@type\":\"Person\",\"@id\":\"https:\/\/dev.adavault.com\/#\/schema\/person\/49b7a35bfadc7aa22c3643a455a1f179\",\"name\":\"webmaster\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/dev.adavault.com\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/cab5b4ef880b9b0561c19eeea56044b2fad250d084091ecd4feb7e8faf92d61f?s=96&d=retro&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/cab5b4ef880b9b0561c19eeea56044b2fad250d084091ecd4feb7e8faf92d61f?s=96&d=retro&r=g\",\"caption\":\"webmaster\"},\"sameAs\":[\"https:\/\/adavault.com\"]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Goguen and Alonzo? - ADAvault","description":"The ADAvault blog","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/","og_locale":"en_GB","og_type":"article","og_title":"Goguen and Alonzo? - ADAvault","og_description":"The ADAvault blog","og_url":"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/","og_site_name":"ADAvault","article_published_time":"2021-06-10T06:36:31+00:00","article_modified_time":"2021-06-10T06:36:32+00:00","og_image":[{"url":"https:\/\/adavault.com\/wp-content\/uploads\/2021\/06\/Alonzo_Church.jpg","type":"","width":"","height":""}],"author":"webmaster","twitter_card":"summary_large_image","twitter_creator":"@adavaultops","twitter_site":"@adavaultops","twitter_misc":{"Written by":"webmaster","Estimated reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/#article","isPartOf":{"@id":"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/"},"author":{"name":"webmaster","@id":"https:\/\/dev.adavault.com\/#\/schema\/person\/49b7a35bfadc7aa22c3643a455a1f179"},"headline":"Goguen and Alonzo?","datePublished":"2021-06-10T06:36:31+00:00","dateModified":"2021-06-10T06:36:32+00:00","mainEntityOfPage":{"@id":"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/"},"wordCount":258,"publisher":{"@id":"https:\/\/dev.adavault.com\/#organization"},"image":{"@id":"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/#primaryimage"},"thumbnailUrl":"https:\/\/adavault.com\/wp-content\/uploads\/2021\/06\/Alonzo_Church.jpg","keywords":["Alonzo","Goguen","Lambda Calculus"],"articleSection":["Musings"],"inLanguage":"en-GB"},{"@type":"WebPage","@id":"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/","url":"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/","name":"Goguen and Alonzo? - ADAvault","isPartOf":{"@id":"https:\/\/dev.adavault.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/#primaryimage"},"image":{"@id":"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/#primaryimage"},"thumbnailUrl":"https:\/\/adavault.com\/wp-content\/uploads\/2021\/06\/Alonzo_Church.jpg","datePublished":"2021-06-10T06:36:31+00:00","dateModified":"2021-06-10T06:36:32+00:00","description":"The ADAvault blog","breadcrumb":{"@id":"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/"]}]},{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/#primaryimage","url":"https:\/\/adavault.com\/wp-content\/uploads\/2021\/06\/Alonzo_Church.jpg","contentUrl":"https:\/\/adavault.com\/wp-content\/uploads\/2021\/06\/Alonzo_Church.jpg"},{"@type":"BreadcrumbList","@id":"https:\/\/dev.adavault.com\/index.php\/2021\/06\/10\/goguen-and-alonzo\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/dev.adavault.com\/"},{"@type":"ListItem","position":2,"name":"Goguen and Alonzo?"}]},{"@type":"WebSite","@id":"https:\/\/dev.adavault.com\/#website","url":"https:\/\/dev.adavault.com\/","name":"ADAvault","description":"","publisher":{"@id":"https:\/\/dev.adavault.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/dev.adavault.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-GB"},{"@type":"Organization","@id":"https:\/\/dev.adavault.com\/#organization","name":"ADAvault.com","url":"https:\/\/dev.adavault.com\/","logo":{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/dev.adavault.com\/#\/schema\/logo\/image\/","url":"https:\/\/dev.adavault.com\/wp-content\/uploads\/2020\/10\/cropped-logo-wp-top-2.png","contentUrl":"https:\/\/dev.adavault.com\/wp-content\/uploads\/2020\/10\/cropped-logo-wp-top-2.png","width":512,"height":512,"caption":"ADAvault.com"},"image":{"@id":"https:\/\/dev.adavault.com\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/x.com\/adavaultops"]},{"@type":"Person","@id":"https:\/\/dev.adavault.com\/#\/schema\/person\/49b7a35bfadc7aa22c3643a455a1f179","name":"webmaster","image":{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/dev.adavault.com\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/cab5b4ef880b9b0561c19eeea56044b2fad250d084091ecd4feb7e8faf92d61f?s=96&d=retro&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/cab5b4ef880b9b0561c19eeea56044b2fad250d084091ecd4feb7e8faf92d61f?s=96&d=retro&r=g","caption":"webmaster"},"sameAs":["https:\/\/adavault.com"]}]}},"_links":{"self":[{"href":"https:\/\/dev.adavault.com\/index.php\/wp-json\/wp\/v2\/posts\/1917","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dev.adavault.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dev.adavault.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dev.adavault.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/dev.adavault.com\/index.php\/wp-json\/wp\/v2\/comments?post=1917"}],"version-history":[{"count":1,"href":"https:\/\/dev.adavault.com\/index.php\/wp-json\/wp\/v2\/posts\/1917\/revisions"}],"predecessor-version":[{"id":1919,"href":"https:\/\/dev.adavault.com\/index.php\/wp-json\/wp\/v2\/posts\/1917\/revisions\/1919"}],"wp:attachment":[{"href":"https:\/\/dev.adavault.com\/index.php\/wp-json\/wp\/v2\/media?parent=1917"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dev.adavault.com\/index.php\/wp-json\/wp\/v2\/categories?post=1917"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dev.adavault.com\/index.php\/wp-json\/wp\/v2\/tags?post=1917"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}