15/01/2025 05:24
15/01/2025 05:24
15/01/2025 05:24
15/01/2025 05:24
15/01/2025 05:23
15/01/2025 05:23
15/01/2025 05:23
15/01/2025 05:23
15/01/2025 05:22
15/01/2025 05:21
Chajari » Chajari al dia
Fecha: 15/01/2025 00:02
La celebración fue proclamada por la UNESCO (Organización de las Naciones Unidas para la Educación, la Ciencia y la Cultura) en asociación con el Consejo Internacional de Filosofía y Ciencias Humanas (CIPSH) el 13 de noviembre de 2019. Según el organismo de las Naciones Unidas, “la lógica tiene un papel fundamental en el desarrollo del pensamiento, la ciencia y la tecnología. Su inserción en la sociedad como herramienta cotidiana provee al ser humano de la capacidad de generar sus propios razonamientos y cuestionar lo que desee”. Se eligió este día para la conmemoración por tratarse de una fecha importante en la vida de dos importantes lógicos: el 14 de enero de 1901 nació Alfred Tarski y el 14 de enero de 1978 falleció Kurt Gödel. Alfred Tarski fue un lógico, matemático y filósofo polaco. Nació el 14 de enero de 1901 en la ciudad de Varsovia (Polonia) y murió el 26 de octubre de 1983 en Berkeley (EE.UU). Formó parte de la importante escuela polaca de lógica y filosofía hasta 1939, en que se estableció en Estados Unidos de América. Desde Estados Unidos, donde viviría y enseñaría hasta su muerte, influyó en toda la investigación lógica posterior a la Segunda Guerra Mundial. Hizo aportes destacados en teoría de conjuntos, lógica polivalente, interpretabilidad, niveles de lenguaje y metalenguaje y conceptos semánticos. Fue el autor de Introducción a la lógica y a la metodología de las ciencias deductivas en el año 1941 y La concepción semántica de la verdad y los fundamentos de la semántica en 1944, entre otras obras. Kurt Gödel Kurt Gödel, fue un lógico, matemático y filósofo austríaco.Se le considera uno de los lógicos más importantes de todos los tiempos. Su trabajo ha tenido un impacto inmenso en el pensamiento científico y filosófico del siglo XX. Nació el 28 de abril de 1906 en Brünn (Imperio Austrohúngaro) y falleció el 14 de enero de 1978 en Princeton (EE.UU). Se le conoce sobre todo por sus dos teoremas de incomplenitud, publicados en 1931, un año después de finalizar su doctorado en la Universidad de Viena. El más célebre establece que para todo sistema axiomático recursivo autoconsistente lo suficientemente poderoso como para describir la aritmética de los números naturales, existen proposiciones verdaderas sobre los naturales que no pueden demostrarse a partir de losaxiomas, y desarrolló una técnica denominada ahora numeración de Gödel que codifica expresiones formales como números naturales. También demostró que la hipótesis del continuo no puede refutarse desde los axiomas aceptados de la teoría de conjuntos, si dichos axiomas son consistentes.
Ver noticia original
 (1).jpg)
Examedia © 2024
Desarrollado por