{"id":22,"date":"2010-09-26T19:04:25","date_gmt":"2010-09-26T19:04:25","guid":{"rendered":"https:\/\/blogs.ua.es\/msalldelalgica\/?p=22"},"modified":"2010-09-26T19:36:27","modified_gmt":"2010-09-26T19:36:27","slug":"logica-y-matematicas","status":"publish","type":"post","link":"https:\/\/blogs.ua.es\/msalldelalgica\/2010\/09\/26\/logica-y-matematicas\/","title":{"rendered":"L\u00f3gica y Matem\u00e1ticas"},"content":{"rendered":"<p style=\"text-align: justify\">La l\u00f3gica matem\u00e1tica cuestiona con rigor los conceptos y las reglas de deducci\u00f3n utilizados en matem\u00e1ticas lo que convierte la l\u00f3gica en una especie de metamatem\u00e1tica. Una teor\u00eda matem\u00e1tica considera objetos definidos -enteros, por ejemplo- y define leyes que relacionan a estos objetos entre s\u00ed, los axiomas de la teor\u00eda. De los axiomas se deducen nuevas proposiciones -los teoremas-, y a veces, nuevos objetos. La construcci\u00f3n de sistemas formales -formalizaci\u00f3n, piedra angular de la l\u00f3gica matem\u00e1tica-, permite eliminar la arbitrariedad en la elecci\u00f3n de los axiomas y definir expl\u00edcita y exhaustivamente las reglas de la deducci\u00f3n matem\u00e1tica.<\/p>\n<p style=\"text-align: justify\">Del a\u00f1o 600 aC hasta 300 aC se desarrollan en Grecia los principios formales de las matem\u00e1ticas. Este periodo cl\u00e1sico lo protagonizan Plat\u00f3n, Arist\u00f3teles y Euclides. Plat\u00f3n propone ideas o abstracciones. Arist\u00f3teles resuelve el razonamiento deductivo y sistematizado. Euclides es el autor que establece el m\u00e9todo axiom\u00e1tico. En los\u00a0<em>Elementos<\/em> Euclides organiza las pruebas deductivas de que dispone dentro de una estructura sistem\u00e1tica, rigurosa, altamente eficaz.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>La l\u00f3gica matem\u00e1tica cuestiona con rigor los conceptos y las reglas de deducci\u00f3n utilizados en matem\u00e1ticas lo que convierte la l\u00f3gica en una especie de metamatem\u00e1tica. Una teor\u00eda matem\u00e1tica considera objetos definidos -enteros, por ejemplo- y define leyes que relacionan a estos objetos entre s\u00ed, los axiomas de la teor\u00eda. De los axiomas se deducen [&hellip;]<\/p>\n","protected":false},"author":1339,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[9,5166],"tags":[],"class_list":["post-22","post","type-post","status-publish","format-standard","hentry","category-general","category-matematicas"],"_links":{"self":[{"href":"https:\/\/blogs.ua.es\/msalldelalgica\/wp-json\/wp\/v2\/posts\/22","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ua.es\/msalldelalgica\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ua.es\/msalldelalgica\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ua.es\/msalldelalgica\/wp-json\/wp\/v2\/users\/1339"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ua.es\/msalldelalgica\/wp-json\/wp\/v2\/comments?post=22"}],"version-history":[{"count":3,"href":"https:\/\/blogs.ua.es\/msalldelalgica\/wp-json\/wp\/v2\/posts\/22\/revisions"}],"predecessor-version":[{"id":31,"href":"https:\/\/blogs.ua.es\/msalldelalgica\/wp-json\/wp\/v2\/posts\/22\/revisions\/31"}],"wp:attachment":[{"href":"https:\/\/blogs.ua.es\/msalldelalgica\/wp-json\/wp\/v2\/media?parent=22"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ua.es\/msalldelalgica\/wp-json\/wp\/v2\/categories?post=22"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ua.es\/msalldelalgica\/wp-json\/wp\/v2\/tags?post=22"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}