{"id":144808,"date":"2018-03-03T13:06:52","date_gmt":"2018-03-03T12:06:52","guid":{"rendered":"http:\/\/www.madrimasd.org\/blogs\/matematicas\/?p=144808"},"modified":"2018-03-04T12:02:30","modified_gmt":"2018-03-04T11:02:30","slug":"el-matematico-incredulo","status":"publish","type":"post","link":"https:\/\/www.madrimasd.org\/blogs\/matematicas\/2018\/03\/03\/144808","title":{"rendered":"El matem\u00e1tico incr\u00e9dulo"},"content":{"rendered":"

Este a\u00f1o 2018 es un a\u00f1o de Fields, porque se celebra el Congreso Internacional de Matem\u00e1ticos (ICM en sus siglas inglesas), en el que se entregan las prestigiosas medallas tan ansiadas por los matem\u00e1ticos. Hablaremos de esto en pr\u00f3ximas entradas, pero tambi\u00e9n es momento de recordar algunos de los grandes matem\u00e1ticos galardonados en su d\u00eda con estos premios y que nos han dejado recientemente.<\/p>\n

 <\/p>\n

\"\"<\/a>
Vladimir Voevodsky<\/figcaption><\/figure>\n

Uno de ellos es Vladimir Voevodsky, fallecido el 30 de septiembre en su casa de Princeton a los 51 a\u00f1os, a causa de un aneurisma. Voevodsky era hijo de un importante acad\u00e9mico ruso, Aleksander Voevodsky, jefe del Laboratorio de Leptones de Alta Energ\u00eda en el Instituto de Investigaciones Nucleares de la Academia Rusa de Ciencias. Su madre era tambi\u00e9n cient\u00edfica, qu\u00edmica. Con estas premisas familiares, su carrera estaba en cierta manera predestinada, pero el joven Voevodsky tuvo que abandonar la Universidad de Mosc\u00fa sin un diploma por no querer asistir a las clases. Continu\u00f3 estudiando matem\u00e1ticas por su cuenta, y public\u00f3 varios art\u00edculos con el matem\u00e1tico Mikhail Kapranov.<\/p>\n

En estas publicaciones demostr\u00f3 su genio matem\u00e1tico, de manera que fue recomendado para seguir el doctorado en la la Universidad de Harvard, bajo la direcci\u00f3n de David Kazhdan, aunque nunca hab\u00eda pedido entrar en ese programa. Obtuvo el diploma en 1992. Estuvo despu\u00e9s un tiempo en el Instituto de Estudios Avanzados de Princeton, y finalmente fue contratado como profesor en la universidad de Princeton en 2012.<\/p>\n

Voevodsky fue siempre por libre, y no repar\u00f3 en esfuerzos por aprender aquello que \u00e9l cre\u00eda de valor. As\u00ed, no dud\u00f3 en aprender franc\u00e9s para poder leer el trabajo de Alexander Grothendieck, Esquisse d’un programme<\/em>. Este tema est\u00e1 relacionado con las investigaciones de Voevodsky, a camino entre la geometr\u00eda algebraica y la topolog\u00eda alegebraica. Introdujo lo que se conoce la teor\u00eda de homotop\u00eda de esquemas, lo que le llev\u00f3 a probar una conjetura de Milnor. Por ese trabajo recibi\u00f3 la medalla Fields en el Congreso Internacional de Matem\u00e1ticos de Beijing, en 2002.<\/p>\n

\"\"<\/a><\/p>\n

Voevodsky sufri\u00f3 un cambio fundamental en su vida, una ca\u00edda de caballo como le ocurri\u00f3 a San Pablo. Al haberse encontrado un fallo en un de sus demostraciones, comenz\u00f3 a preguntarse como pod\u00edamos estar seguros de que una demostraci\u00f3n era correcta. No es un tema balad\u00ed, ya que muchas veces, la complejidad de una demostraci\u00f3n y del tema en cuesti\u00f3n, solo es abordable por unos pocos matem\u00e1ticos.<\/p>\n

Estas \u201cdudas de fe\u201d llevaron a Voevodsky a plantearse la b\u00fasqueda de mecanismos que fueran m\u00e1s s\u00f3lidos que nuestros cerebros. Recuerda esto a aquellas preguntas que asaltaron en su d\u00eda a Alan Turing y le llevaron a crear su \u201cm\u00e1quina de Turing\u201d. \u00bfHasta que punto una m\u00e1quina ser\u00eda capaz de comprobar de manera mec\u00e1nica si una afirmaci\u00f3n matem\u00e1tica es o no correcta?<\/p>\n

\"\"<\/a><\/p>\n

Sus investigaciones le llevaron de manera natural a los ordenadores, solo ellos ser\u00edan capaces de estas comprobaciones, libres de los fallos de nuestros cerebros humanos. Sus ideas no fueron bien acogidas entre los matem\u00e1ticos, y \u00e9l mismo afirm\u00f3: \u201c\u201cEntre los matem\u00e1ticos, la verificaci\u00f3n de demostraciones por ordenador han sido siempre un tema prohibido\u201d.<\/p>\n

Para hacer bien ese trabajo, Voevodsky se embarc\u00f3 en un proyecto de refundar las propias matem\u00e1ticas, para hacerlas asequibles a los lenguajes de los ordenadores. En este art\u00edculo \u201cVoevodsky\u2019s Mathematical Revolution\u201d<\/a>, en Scientific American<\/em>, se describen sus m\u00e9todos.<\/p>\n

Descanse en paz Vladimir Voevodsky, qui\u00e9n, como un moderno Santo Tom\u00e1s, quiso meter su mano en la llaga de las demostraciones matem\u00e1ticas.<\/p>\n

_______<\/strong><\/strong><\/p>\n

Manuel de Le\u00f3n<\/strong>\u00a0<\/strong>(CSIC, Fundador del ICMAT, Real Academia de Ciencias, Real Academia Canaria de Ciencias, ICSU).<\/p>\n","protected":false},"excerpt":{"rendered":"

Este a\u00f1o 2018 es un a\u00f1o de Fields, porque se celebra el Congreso Internacional de Matem\u00e1ticos (ICM en sus siglas inglesas), en el que se entregan las prestigiosas medallas tan ansiadas por los matem\u00e1ticos. Hablaremos de esto en pr\u00f3ximas entradas, pero tambi\u00e9n es momento de recordar algunos de los grandes matem\u00e1ticos galardonados en su d\u00eda con estos premios y que nos han dejado recientemente.   Uno de ellos es Vladimir Voevodsky, fallecido el 30 de septiembre en su casa de Princeton a los 51 a\u00f1os, a causa de un aneurisma. Voevodsky era hijo de un importante acad\u00e9mico ruso, Aleksander Voevodsky,\u2026<\/p>\n","protected":false},"author":49,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"ngg_post_thumbnail":0},"categories":[1],"tags":[38672,38674,38673],"blocksy_meta":{"styles_descriptor":{"styles":{"desktop":"","tablet":"","mobile":""},"google_fonts":[],"version":4}},"aioseo_notices":[],"yoast_head":"\nEl matem\u00e1tico incr\u00e9dulo - Matem\u00e1ticas y sus fronteras<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.madrimasd.org\/blogs\/matematicas\/2018\/03\/03\/144808\" \/>\n<meta property=\"og:locale\" content=\"es_ES\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"El matem\u00e1tico incr\u00e9dulo - Matem\u00e1ticas y sus fronteras\" \/>\n<meta property=\"og:description\" content=\"Este a\u00f1o 2018 es un a\u00f1o de Fields, porque se celebra el Congreso Internacional de Matem\u00e1ticos (ICM en sus siglas inglesas), en el que se entregan las prestigiosas medallas tan ansiadas por los matem\u00e1ticos. Hablaremos de esto en pr\u00f3ximas entradas, pero tambi\u00e9n es momento de recordar algunos de los grandes matem\u00e1ticos galardonados en su d\u00eda con estos premios y que nos han dejado recientemente.   Uno de ellos es Vladimir Voevodsky, fallecido el 30 de septiembre en su casa de Princeton a los 51 a\u00f1os, a causa de un aneurisma. Voevodsky era hijo de un importante acad\u00e9mico ruso, Aleksander Voevodsky,\u2026\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.madrimasd.org\/blogs\/matematicas\/2018\/03\/03\/144808\" \/>\n<meta property=\"og:site_name\" content=\"Matem\u00e1ticas y sus fronteras\" \/>\n<meta property=\"article:published_time\" content=\"2018-03-03T12:06:52+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2018-03-04T11:02:30+00:00\" \/>\n<meta property=\"og:image\" content=\"http:\/\/www.madrimasd.org\/blogs\/matematicas\/files\/2018\/03\/Voevodsky_4-219x300.jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Escrito por\" \/>\n\t<meta name=\"twitter:data1\" content=\"Matem\u00e1ticas y sus fronteras\" \/>\n\t<meta name=\"twitter:label2\" content=\"Tiempo de lectura\" \/>\n\t<meta name=\"twitter:data2\" content=\"3 minutos\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.madrimasd.org\/blogs\/matematicas\/#website\",\"url\":\"https:\/\/www.madrimasd.org\/blogs\/matematicas\/\",\"name\":\"Matem\u00e1ticas y sus fronteras\",\"description\":\"\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.madrimasd.org\/blogs\/matematicas\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"es\"},{\"@type\":\"ImageObject\",\"@id\":\"https:\/\/www.madrimasd.org\/blogs\/matematicas\/2018\/03\/03\/144808#primaryimage\",\"inLanguage\":\"es\",\"url\":\"http:\/\/www.madrimasd.org\/blogs\/matematicas\/files\/2018\/03\/Voevodsky_4-219x300.jpeg\",\"contentUrl\":\"http:\/\/www.madrimasd.org\/blogs\/matematicas\/files\/2018\/03\/Voevodsky_4-219x300.jpeg\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.madrimasd.org\/blogs\/matematicas\/2018\/03\/03\/144808#webpage\",\"url\":\"https:\/\/www.madrimasd.org\/blogs\/matematicas\/2018\/03\/03\/144808\",\"name\":\"El matem\u00e1tico incr\u00e9dulo - Matem\u00e1ticas y sus fronteras\",\"isPartOf\":{\"@id\":\"https:\/\/www.madrimasd.org\/blogs\/matematicas\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.madrimasd.org\/blogs\/matematicas\/2018\/03\/03\/144808#primaryimage\"},\"datePublished\":\"2018-03-03T12:06:52+00:00\",\"dateModified\":\"2018-03-04T11:02:30+00:00\",\"author\":{\"@id\":\"https:\/\/www.madrimasd.org\/blogs\/matematicas\/#\/schema\/person\/15722bca1b77eece37f4c192bd1b5230\"},\"breadcrumb\":{\"@id\":\"https:\/\/www.madrimasd.org\/blogs\/matematicas\/2018\/03\/03\/144808#breadcrumb\"},\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.madrimasd.org\/blogs\/matematicas\/2018\/03\/03\/144808\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.madrimasd.org\/blogs\/matematicas\/2018\/03\/03\/144808#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Portada\",\"item\":\"https:\/\/www.madrimasd.org\/blogs\/matematicas\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"El matem\u00e1tico incr\u00e9dulo\"}]},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.madrimasd.org\/blogs\/matematicas\/#\/schema\/person\/15722bca1b77eece37f4c192bd1b5230\",\"name\":\"Matem\u00e1ticas y sus fronteras\",\"image\":{\"@type\":\"ImageObject\",\"@id\":\"https:\/\/www.madrimasd.org\/blogs\/matematicas\/#personlogo\",\"inLanguage\":\"es\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/50eb6cc40d97cb9ad268a3471c7e2492?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/50eb6cc40d97cb9ad268a3471c7e2492?s=96&d=mm&r=g\",\"caption\":\"Matem\u00e1ticas y sus fronteras\"},\"description\":\"Manuel de Le\u00f3n es Profesor de Investigaci\u00f3n del CSIC, acad\u00e9mico de la Real Academia de Ciencias y su Tesorero, fundador del ICMAT (CSIC), acad\u00e9mico de la Real Academia Canaria de Ciencias y de la Real Academia Galega de Ciencias. Es adem\u00e1s Director del programa Estalmat.\",\"url\":\"https:\/\/www.madrimasd.org\/blogs\/matematicas\/author\/matematicas\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"El matem\u00e1tico incr\u00e9dulo - Matem\u00e1ticas y sus fronteras","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:\/\/www.madrimasd.org\/blogs\/matematicas\/2018\/03\/03\/144808","og_locale":"es_ES","og_type":"article","og_title":"El matem\u00e1tico incr\u00e9dulo - Matem\u00e1ticas y sus fronteras","og_description":"Este a\u00f1o 2018 es un a\u00f1o de Fields, porque se celebra el Congreso Internacional de Matem\u00e1ticos (ICM en sus siglas inglesas), en el que se entregan las prestigiosas medallas tan ansiadas por los matem\u00e1ticos. Hablaremos de esto en pr\u00f3ximas entradas, pero tambi\u00e9n es momento de recordar algunos de los grandes matem\u00e1ticos galardonados en su d\u00eda con estos premios y que nos han dejado recientemente.   Uno de ellos es Vladimir Voevodsky, fallecido el 30 de septiembre en su casa de Princeton a los 51 a\u00f1os, a causa de un aneurisma. Voevodsky era hijo de un importante acad\u00e9mico ruso, Aleksander Voevodsky,\u2026","og_url":"https:\/\/www.madrimasd.org\/blogs\/matematicas\/2018\/03\/03\/144808","og_site_name":"Matem\u00e1ticas y sus fronteras","article_published_time":"2018-03-03T12:06:52+00:00","article_modified_time":"2018-03-04T11:02:30+00:00","og_image":[{"url":"http:\/\/www.madrimasd.org\/blogs\/matematicas\/files\/2018\/03\/Voevodsky_4-219x300.jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Escrito por":"Matem\u00e1ticas y sus fronteras","Tiempo de lectura":"3 minutos"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebSite","@id":"https:\/\/www.madrimasd.org\/blogs\/matematicas\/#website","url":"https:\/\/www.madrimasd.org\/blogs\/matematicas\/","name":"Matem\u00e1ticas y sus fronteras","description":"","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.madrimasd.org\/blogs\/matematicas\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"es"},{"@type":"ImageObject","@id":"https:\/\/www.madrimasd.org\/blogs\/matematicas\/2018\/03\/03\/144808#primaryimage","inLanguage":"es","url":"http:\/\/www.madrimasd.org\/blogs\/matematicas\/files\/2018\/03\/Voevodsky_4-219x300.jpeg","contentUrl":"http:\/\/www.madrimasd.org\/blogs\/matematicas\/files\/2018\/03\/Voevodsky_4-219x300.jpeg"},{"@type":"WebPage","@id":"https:\/\/www.madrimasd.org\/blogs\/matematicas\/2018\/03\/03\/144808#webpage","url":"https:\/\/www.madrimasd.org\/blogs\/matematicas\/2018\/03\/03\/144808","name":"El matem\u00e1tico incr\u00e9dulo - Matem\u00e1ticas y sus fronteras","isPartOf":{"@id":"https:\/\/www.madrimasd.org\/blogs\/matematicas\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.madrimasd.org\/blogs\/matematicas\/2018\/03\/03\/144808#primaryimage"},"datePublished":"2018-03-03T12:06:52+00:00","dateModified":"2018-03-04T11:02:30+00:00","author":{"@id":"https:\/\/www.madrimasd.org\/blogs\/matematicas\/#\/schema\/person\/15722bca1b77eece37f4c192bd1b5230"},"breadcrumb":{"@id":"https:\/\/www.madrimasd.org\/blogs\/matematicas\/2018\/03\/03\/144808#breadcrumb"},"inLanguage":"es","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.madrimasd.org\/blogs\/matematicas\/2018\/03\/03\/144808"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.madrimasd.org\/blogs\/matematicas\/2018\/03\/03\/144808#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Portada","item":"https:\/\/www.madrimasd.org\/blogs\/matematicas"},{"@type":"ListItem","position":2,"name":"El matem\u00e1tico incr\u00e9dulo"}]},{"@type":"Person","@id":"https:\/\/www.madrimasd.org\/blogs\/matematicas\/#\/schema\/person\/15722bca1b77eece37f4c192bd1b5230","name":"Matem\u00e1ticas y sus fronteras","image":{"@type":"ImageObject","@id":"https:\/\/www.madrimasd.org\/blogs\/matematicas\/#personlogo","inLanguage":"es","url":"https:\/\/secure.gravatar.com\/avatar\/50eb6cc40d97cb9ad268a3471c7e2492?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/50eb6cc40d97cb9ad268a3471c7e2492?s=96&d=mm&r=g","caption":"Matem\u00e1ticas y sus fronteras"},"description":"Manuel de Le\u00f3n es Profesor de Investigaci\u00f3n del CSIC, acad\u00e9mico de la Real Academia de Ciencias y su Tesorero, fundador del ICMAT (CSIC), acad\u00e9mico de la Real Academia Canaria de Ciencias y de la Real Academia Galega de Ciencias. Es adem\u00e1s Director del programa Estalmat.","url":"https:\/\/www.madrimasd.org\/blogs\/matematicas\/author\/matematicas"}]}},"_links":{"self":[{"href":"https:\/\/www.madrimasd.org\/blogs\/matematicas\/wp-json\/wp\/v2\/posts\/144808"}],"collection":[{"href":"https:\/\/www.madrimasd.org\/blogs\/matematicas\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.madrimasd.org\/blogs\/matematicas\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.madrimasd.org\/blogs\/matematicas\/wp-json\/wp\/v2\/users\/49"}],"replies":[{"embeddable":true,"href":"https:\/\/www.madrimasd.org\/blogs\/matematicas\/wp-json\/wp\/v2\/comments?post=144808"}],"version-history":[{"count":5,"href":"https:\/\/www.madrimasd.org\/blogs\/matematicas\/wp-json\/wp\/v2\/posts\/144808\/revisions"}],"predecessor-version":[{"id":144816,"href":"https:\/\/www.madrimasd.org\/blogs\/matematicas\/wp-json\/wp\/v2\/posts\/144808\/revisions\/144816"}],"wp:attachment":[{"href":"https:\/\/www.madrimasd.org\/blogs\/matematicas\/wp-json\/wp\/v2\/media?parent=144808"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.madrimasd.org\/blogs\/matematicas\/wp-json\/wp\/v2\/categories?post=144808"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.madrimasd.org\/blogs\/matematicas\/wp-json\/wp\/v2\/tags?post=144808"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}