{"id":135,"date":"2010-01-23T10:24:15","date_gmt":"2010-01-23T10:24:15","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=135"},"modified":"2013-03-08T05:53:48","modified_gmt":"2013-03-08T05:53:48","slug":"advances-and-perspectives-in-the-mechanization-of-mathematics","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/advances-and-perspectives-in-the-mechanization-of-mathematics\/","title":{"rendered":"Advances and Perspectives in the Mechanization of Mathematics"},"content":{"rendered":"<p>Un indicador de la vitalidad de un \u00e1rea lo constituye los n\u00fameros especiales de revistas dedicadas al \u00e1rea. <\/p>\n<p>La revista <a href=\"http:\/\/journals.cambridge.org\/action\/displayJournal?jid=MSC\">Mathematical Structures in Computer Science<\/a> ha anunciado un n\u00famero especial sobre <a href=\"http:\/\/www.cs.unibo.it\/~asperti\/mscs\">Advances and Perspectives in the Mechanization of Mathematics<\/a>.<\/p>\n<p>En el anuncio se constata el \u00e9xito obtenido formalizando algunos teoremas matem\u00e1ticos importantes tales como <a href=\"http:\/\/tocl.acm.org\/accepted\/283avigad.pdf\">el teorema de los n\u00fameros primos<\/a>, <a href=\"http:\/\/research.microsoft.com\/en-us\/people\/gonthier\/4colproof.pdf\">el teorema de los cuatro colores<\/a> y <a href=\"http:\/\/www.icm2006.org\/v_f\/AbsDef\/MathSoft\/abs_0989.ext.pdf\">el teorema de la curva de Jordan<\/a>.<\/p>\n<p>El n\u00famero desea reflejar los avances recientes y las nuevas perspectivas dentro del campo de la formalizaci\u00f3n del conocimiento matem\u00e1tico, incluyendo descripciones de nuevas formalizaciones.<\/p>\n<p>La fecha l\u00edmite para el env\u00edo de art\u00edculos es el 28 de Junio de 2010. <\/p>\n","protected":false},"excerpt":{"rendered":"<p>Un indicador de la vitalidad de un \u00e1rea lo constituye los n\u00fameros especiales de revistas dedicadas al \u00e1rea. La revista Mathematical Structures in Computer Science ha anunciado un n\u00famero especial sobre Advances and Perspectives in the Mechanization of Mathematics. En el anuncio se constata el \u00e9xito obtenido formalizando algunos teoremas matem\u00e1ticos importantes tales como el&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","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":[164],"tags":[89,33,31,273,276],"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\/135"}],"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=135"}],"version-history":[{"count":8,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/135\/revisions"}],"predecessor-version":[{"id":3081,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/135\/revisions\/3081"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=135"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=135"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=135"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}