{"id":1692,"date":"2011-11-17T07:29:06","date_gmt":"2011-11-17T07:29:06","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=1692"},"modified":"2013-03-08T05:49:00","modified_gmt":"2013-03-08T05:49:00","slug":"resena-philosophy-of-mathematics-and-computer-science","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resena-philosophy-of-mathematics-and-computer-science\/","title":{"rendered":"Rese\u00f1a: Philosophy of mathematics and computer science"},"content":{"rendered":"<p>Kazimierz Trz\u0119sicki (del <a href=\"http:\/\/logic.uwb.edu.pl\/\">Departamento de L\u00f3gica, Inform\u00e1tica y Filosof\u00eda de la Ciencia<\/a> de la Universidad de <a href=\"http:\/\/es.wikipedia.org\/wiki\/Bia%C5%82ystok\">Bia\u0142ystok<\/a>, Polonia) ha publicado el art\u00edculo <a href=\"http:\/\/logika.uwb.edu.pl\/studies\/download.php?volid=35&#038;artid=kt\">Philosophy of mathematics and computer science<\/a>.<\/p>\n<p>El resumen del art\u00edculo es<\/p>\n<blockquote><p>\nIt is well known fact that the foundation of modern computer science were laid by logicians. Logic is at the heart of computing. The development of contemporary logic and the problems of the foundations of mathematics were in close mutual interaction. We may ask why the concepts and theories developed out of philosophical motives before computers were even invented, prove so useful in the practice of computing. Three main programmes together with the constructivist approach are discussed and the impact on computer science is considered.\n<\/p><\/blockquote>\n<p>En el art\u00edculo comenta las aportaciones a la ciencia de la computaci\u00f3n de las tres escuelas l\u00f3gicas de los fundamentos de la matem\u00e1tica:<\/p>\n<ul>\n<li> del <i>logicismo<\/i> (de Frege, Russell y Withehead) resalta el sintaxis de la l\u00f3gica como primer lenguaje de programaci\u00f3n, los tipos, el lamda c\u00e1lculo, LISP, la programaci\u00f3n funcional y la l\u00f3gica combinatoria como lenguaje de programaci\u00f3n.\n<li> del <i>formalismo<\/i> (de Hilbert) destaca la m\u00e1quina de Turing (como medio para resolver los problemas de decibilidad), la teor\u00eda de la computaci\u00f3n, la demostraci\u00f3n autom\u00e1tica y el razonamiento formalizado.\n<li> del <i>intuicionismo<\/i> (de Brouwer) y del <i>constructivismo<\/i> (de Markov y Bishop) destaca la visi\u00f3n de &#8220;f\u00f3rmulas-como-tipos&#8221;, la extracci\u00f3n de programas a partir de las pruebas, la teor\u00eda costructiva de tipos de Martin-L\u00f6f, los sistema de demostraci\u00f3n asistida (Automath, NuPRL, LEGO, Agda, Twelf y Coq) y las teor\u00edas desarrolladas con dichos sistemas.\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Kazimierz Trz\u0119sicki (del Departamento de L\u00f3gica, Inform\u00e1tica y Filosof\u00eda de la Ciencia de la Universidad de Bia\u0142ystok, Polonia) ha publicado el art\u00edculo Philosophy of mathematics and computer science. El resumen del art\u00edculo es It is well known fact that the foundation of modern computer science were laid by logicians. Logic is at the heart of&#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":[100],"tags":[20,190,189,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\/1692"}],"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=1692"}],"version-history":[{"count":2,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1692\/revisions"}],"predecessor-version":[{"id":2910,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1692\/revisions\/2910"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=1692"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=1692"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=1692"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}