{"id":3202,"date":"2013-04-11T05:07:05","date_gmt":"2013-04-11T05:07:05","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=3202"},"modified":"2013-04-11T05:07:55","modified_gmt":"2013-04-11T05:07:55","slug":"resena-formare-formal-mathematical-reasoning-in-economics","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resena-formare-formal-mathematical-reasoning-in-economics\/","title":{"rendered":"Rese\u00f1a: ForMaRE &#8211; formal mathematical reasoning in economics"},"content":{"rendered":"<p>Se ha publicado un art\u00edculo de razonamiento formalizado a la econom\u00eda titulado <a href=\"http:\/\/www.computing.dundee.ac.uk\/staff\/katya\/arw13\/papers\/paper_20.pdf\">ForMaRE &#8211; formal mathematical reasoning in economics<\/a>.<\/p>\n<p>Sus autores son <a href=\"http:\/\/www.cs.bham.ac.uk\/~mmk\">Manfred Kerber<\/a>, <a href=\"http:\/\/www.cs.bham.ac.uk\/about\/people\/Christoph%20Lange\">Christoph Lange<\/a> y <a href=\"http:\/\/www.socscistaff.bham.ac.uk\/rowat\">Colin Rowat<\/a> (de la Universidad de Birmingham) y lo presentar\u00e1n hoy en el <a href=\"http:\/\/www.computing.dundee.ac.uk\/staff\/katya\/arw13\/index.html\">ARW2013<\/a> (20th Automated Reasoning Workshop).<\/p>\n<p>Su resumen es<\/p>\n<blockquote><p>\nWe present the <a href=\"http:\/\/www.cs.bham.ac.uk\/research\/projects\/formare\">ForMaRE project<\/a> which applies FORmal MAthematical REasoning to economics. Theoretical economics makes use of mathematical proof and we seek to increase confidence in these theoretical results by applying formal mathematical reasoning. This will lead on the one hand to new challenge problems in formal reasoning. On the other hand we are conducting research that connects economics and formal methods. We will discuss some areas of interest such as game theory and auctions, where we are currently building a toolbox of formalizations.\n<\/p><\/blockquote>\n","protected":false},"excerpt":{"rendered":"<p>Se ha publicado un art\u00edculo de razonamiento formalizado a la econom\u00eda titulado ForMaRE &#8211; formal mathematical reasoning in economics. Sus autores son Manfred Kerber, Christoph Lange y Colin Rowat (de la Universidad de Birmingham) y lo presentar\u00e1n hoy en el ARW2013 (20th Automated Reasoning Workshop). Su resumen es We present the ForMaRE project which applies&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[1],"tags":[273,285],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_likes_enabled":false,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3202"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/comments?post=3202"}],"version-history":[{"count":2,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3202\/revisions"}],"predecessor-version":[{"id":3204,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3202\/revisions\/3204"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=3202"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=3202"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=3202"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}