Gottfried Leibniz Gottfried Wilhelm Leibniz, a veces von Leibniz1 (Leipzig, 1 de julio de 1646 Hannover, 14 de noviembre de 1716) fue

un filsofo, matemtico, jurista, bibliotecario y poltico alemn.Fue uno de los grandes pensadores de los siglos XVII y XVIII, y se le reconoce como "El ltimo genio universal". Realiz profundas e importantes contribuciones en las reas de metafsica, epistemologa, lgica, filosofa de la religin, as como a la matemtica, fsica, geologa, jurisprudencia e historia. Incluso Denis Diderot, el filsofo desta francs del siglo XVIII, cuyas opiniones no podran estar en mayor oposicin a las de Leibniz, no poda evitar sentirse sobrecogido ante sus logros, y escribi en la Enciclopedia: "Quizs nunca haya un hombre ledo tanto, estudiado tanto, meditado ms y escrito ms que Leibniz... Lo que ha elaborado sobre el mundo, sobre Dios, la naturaleza y el alma es de la ms sublime elocuencia. Si sus ideas hubiesen sido expresadas con el olfato de Platn, el filsofo de Leipzig no cedera en nada al filsofo de Atenas."2 De hecho, el tono de Diderot es casi de desesperanza en otra observacin, que contiene igualmente mucho de verdad: "Cuando uno compara sus talentos con los de Leibniz, uno tiene la tentacin de tirar todos sus libros e ir a morir silenciosamente en la oscuridad de algn rincn olvidado." La reverencia de Diderot contrasta con los ataques que otro importante filsofo, Voltaire, lanzara contra el pensamiento filosfico de Leibniz; a pesar de reconocer la vastedad de la obra de ste, Voltaire sostena que en toda ella no haba nada til que fuera original, ni nada original que no fuera absurdo y risible.El pensamiento filosfico de Leibniz aparece de forma fragmentada, ya que sus escritos filosficos consisten principalmente en una multitud de textos cortos: artculos de revistas, manuscritos publicados mucho despus de su muerte y gran cantidad de cartas con personajes mltiples. Escribi nicamente dos tratados de filosofa, y el que se public durante su vida, la Thodice de 1710, es tanto teolgico como filosfico BIBLIOGRAFIA: http://es.wikipedia.org/wiki/Gottfried_Leibniz George Boole Como inventor del lgebra de Boole, que marca los fundamentos de la aritmtica computacional moderna, Boole es considerado como uno de los fundadores del campo de las Ciencias de la Computacin. En 1854 public "An Investigation of the Laws of Thought" en el que desarrollaba un sistema de reglas que le permitan expresar, manipular y simplificar problemas lgicos y filosficos cuyos argumentos admiten dos estados (verdadero o falso) por procedimientos matemticos. Se podra decir que es el padre de las operaciones lgicas y gracias a su lgebra hoy en da es posible manipular operaciones lgicas.Para el pblico ms amplio Boole era conocido slo como el autor de numerosos trabajos abstrusos en temas de matemticas, y de distintas publicaciones que se han convertido en obras. Su primer trabajo publicado fue "Investigaciones en la teora de las transformaciones de anlisis, con una aplicacin especial a la reduccin de la ecuacin general de segundo orden." impresa en el Diario Matemticas de Cambridge en febrero de 1840 (Volumen 2, no. 8, pp 64-73), esta llev a una amistad entre Boole y DF Gregory, el editor de la revista, que dur hasta la muerte prematura de este ltimo en 1844.rLas obras de Boole figuran de manera dispersa en cincuenta artculos y publicaciones separadas unos pocos. Slo dos tratados sistemticos sobre temas matemticos fueron completados por

Boole durante su vida. El conocido Tratado sobre Ecuaciones Diferenciales apareci en 1859, y fue seguido, al ao siguiente, por un Tratado sobre el Clculo de las Diferencias Finitas, diseado para servir como una secuela de la obra anterior BIBLIOGRFIA: http://es.wikipedia.org/wiki/George_Boole Augustus De Morgan Augustus De Morgan (Madurai, India; 27 de junio de 1806 - Londres, Gran Bretaa; 18 de marzo de 1871) fue un matemtico y lgico ingls nacido en la India. Profesor de matemticas en el Colegio Universitario de Londres entre 1828 y 1866; primer presidente de la Sociedad de Matemticas de Londres. De Morgan se interes especialmente por el lgebra. Fue tutor de Ada Lovelace. Escribi varias obras de lgica en las que se encuentra la idea de aplicar en esta esfera los mtodos matemticos, as como los primeros resultados de tal aplicacin. En la moderna lgica matemtica, llevan el nombre de De Morgan las siguientes leyes fundamentales del lgebra de la lgica: la negacin de la conjuncin es equivalente a la disyuncin de las negaciones; la negacin de la disyuncin es equivalente a la conjuncin de las negaciones.Autor de las Leyes de De Morgan: BIBLIOGRAFIA.: http://es.wikipedia.org/wiki/Augustus_De_Morgan Gottlob Frege Friedrich Ludwig Gottlob Frege (8 de noviembre de 1848 en Wismar - 26 de julio de 1925 en Bad Kleinen) fue un matemtico, lgico y filsofo alemn, padre de la lgica matemtica y la filosofa analtica. Frege es ampliamente reconocido como el mayor lgico desde Aristteles. Nacido en Wismar (actual Alemania) en 1848. Comenz sus estudios en la Universidad de Jena en 1869 trasladndose a Gotinga para completar sus estudios de fsica, qumica, filosofa y matemticas licencindose en esta ltima 1873. Al regresar a Jena se dedic a la docencia de matemticas, hasta su muerte en Bad Kleinen hacia 1925.En 1879, Frege public su revolucionaria obra titulada Conceptografa (Begriffsschrift), en la que sent las bases de la lgica matemtica moderna, iniciando una nueva era en esta disciplina que haba permanecido prcticamente inalterada desde Aristteles. Mediante la introduccin de una nueva sintaxis, con la inclusin de los llamados cuantificadores (para todo o para al menos un), permiti formalizar una enorme cantidad de nuevos argumentos. Tambin fue el primero en distinguir la caracterizacin formal de las leyes lgicas de su contenido semntico. Frege fue un defensor del logicismo, la tesis de que las matemticas son reducibles a la lgica, en el sentido de que las verdades de la matemtica son deducibles de las verdades de la lgica BIBLIOGRAFIA: http://es.wikipedia.org/wiki/Gottlob_Frege Bertrand Russell Bertrand Arthur William Russell, 3er Conde de Russell, OM, MRS, (18 de mayo de 1872, Trellech, Monmouthshire, Gales - 2 de febrero de 1970, Penrhyndeudraeth, Gales) fue un filsofo, matemtico, lgico y escritor britnico ganador del Premio Nobel de Literatura y conocido por su influencia en la filosofa analtica, sus trabajos matemticos y su activismo social . Contrajo matrimonio cuatro veces y tuvo tres hijos.En opinin de

muchos, Bertrand Russell posiblemente haya sido el filsofo ms influyente del siglo XX, al menos en los pases de habla inglesa, considerado junto con Gottlob Frege como uno de los fundadores de la Filosofa analtica. Es tambin considerado uno de los dos lgicos ms importantes del siglo XX, siendo el otro Kurt Gdel. Escribi sobre una amplia gama de temas, desde los fundamentos de las matemticas y la teora de la relatividad al matrimonio, los derechos de las mujeres y el pacifismo. BIBLIOGRAFIA: http://es.wikipedia.org/wiki/Bertrand_Russell Alfred North Whitehead Alfred North Whitehead, OM (Ramsgate, 15 de febrero de 1861 - Cambridge, Massachusetts, 30 de diciembre de 1947), fue un matemtico y filsofo ingls.Naci en Ramsgate, (Kent, Inglaterra), y falleci en Cambridge, Massachusetts, (Estados Unidos). Public trabajos sobre lgebra, lgica, fundamentos de las matemticas, filosofa de la ciencia, fsica, metafsica, epistemologa y educacin. El trabajo ms conocido, del que es coautor con Bertrand Russell, es Principia Mathematica. En ese tiempo partiendo de una teora relacionista (o ms bien relativista) del espacio centr su epistemologa en la naturaleza de las cosas. Mantuvo tal postura hasta la dcada de 1930. A partir de entonces su obra tom visos ms metafsicos.Whitehead fue profesor en las universidades de Londres y de Cambridge, donde destac por sus estudios lgico-matemticos. Luego en Estados Unidos fue director de la ctedra de filosofa en la Universidad de Harvard, y tuvo entre sus discpulos a Quine http://es.wikipedia.org/wiki/Alfred_North_Whitehead Giuseppe Peano Giuseppe Peano (Spinetta, 27 de agosto de 1858 Turn, 20 de abril de 1932) fue un matemtico y filsofo italiano, conocido por sus contribuciones a la Teora de conjuntos. Peano public ms de doscientos libros y artculos, la mayora en matemticas. La mayor parte de su vida la dedic a ensear en TurnNaci en una granja cerca del pueblo de Spinetta cerca de Cuneo, en el Piamonte. Ingres en la cercana Universidad de Turn en 1876. Se gradu en 1880 con honores y comenz su carrera acadmica.El 20 de enero de 1891 se cas con Carola Crosio. Falleci de un ataque al corazn el 20 de abril de 1932 en Turn.Comenz su carrera como asistente en la Universidad de Turn en 1880. Primero fue ayudante de Enrico D'Ovidio y despus de Angelo Genocchi, el jefe de ctedra en Clculo infinitesimal. Debido a la frgil salud de Genocchi, Peano empez a dictar los cursos de clculo infinitesimal a los dos aos de trabajar como ayudante del catedrticoSu primer trabajo importante, un libro de texto sobre clculo, fue atribuido a Genocchi y publicado en 1884. Tres aos despus, Peano public su primer libro sobre lgica matemtica.En 1886 comenz a dictar clases al mismo tiempo en la Academia Militar Real, y fue ascendido a profesor de primera clase en 1889. Al siguiente ao, la Universidad de Turn tambin le otorg un puesto de profesor titularEn 1897, se llev a cabo el primer Congreso Internacional de Matemticos en ZrichEn 1898 present una nota a la Academia acerca del sistema de numeracin binario y su capacidad para ser usado para representar los sonidos de las lenguas.Hacia 1901 estaba en la cima de su carrera matemtica. Hizo avances en las reas de anlisis, fundamentos y lgica, realiz muchas contribuciones a la

enseanza del clculo y contribuy en los campos de ecuaciones diferenciales y anlisis vectorialEn 1903 anunci su trabajo en un idioma auxiliar internacional llamado Latino sine flexione ("Latn sin inflexiones", despus llamado Interlingua)Tambin en 1908 tom la ctedra de anlisis superior en Turn (este nombramiento slo dur dos aos)En 1925 cambi informalmente de ctedra de Clculo Infinitesimal a Matemticas Complementarias, un campo que se ajustaba ms a su estilo de matemticas BIBLIOGRAFIA: http://es.wikipedia.org/wiki/Giuseppe_Peano Jan ukasiewicz Jan ukasiewicz (21 de diciembre de 1878 - 13 de febrero de 1956) fue un matemtico polaco que naci en Lww, Galicia (actual Ucrania). Su trabajo matemtico se centr en la lgica matemtica. l pens innovar en la tradicional lgica proposicional, el principio de no contradiccin y el principio del tercero excluido.ukasiewicz trabaj en lgica polivalente, incluyendo su propio clculo de tres valores de verdad, la primera lgica de clculo no clsica. Tambin se dedic a otras reas de la filosofa, aproximndose a los aspectos humanos de la creacin de la teora cientfica con ideas similares a las de Karl Popper.Es autor, entre otras obras, de Elementos de lgica matemtica, La silogstica de Aristteles desde el punto de vista de la lgica formal moderna, Sobre la teora intuicionista de la deduccin, Un sistema de lgica modal, y El principio de individuacin.Uno de los aspectos ms conocidos del trabajo de ukasiewicz son sus axiomatizaciones de la lgica proposicional. Una de esas axiomatizaciones consiste apenas en tres axiomas que, en notacin moderna, podran ser escritos de la siguiente forma: cel...A partir de estos tres axiomas, todas y slo las frmulas vlidas de la lgica proposicional pueden ser inferidas va substitucin y/o modus ponens. ukasiewicz tambin present una revisin de un sistema axiomtico de Nicod que usa apenas un conectivo y posee un axioma: cel...Otro gran logro de ukasiewicz fue una notacin no ambigua para la lgica proposicional, suficiente para permitir la eliminacin de parntesis y otros signos usados para determinar el alcance de los conectivos lgicos. Esta notacin es conocida como notacin polaca y en ella los conectivos lgicos son prefijados en vez de infijados como ocurre en la notacin usual. Esta notacin tiene importancia terica para las ciencias de la computacin. BIBLIOGRAFIA: http://es.wikipedia.org/wiki/Jan_%C5%81ukasiewicz Alfred Tarski Alfred Tarski (14 de enero de 190226 de octubre de 1983) -originalmente Alfred Teitelbaum- (1902-1983) fue un lgico, matemtico y filsofo polaco.Naci el 14 de enero de 1902 en la ciudad de Varsovia, Polonia, y muri el 26 de octubre de 1983 en Berkeley, California, Estados Unidos.De origen judo acomodado, adopt su apellido definitivo al convertirse en 1923 a la religin mayoritaria en Polonia, el catolicismo. Form parte de la importante escuela polaca de lgica y filosofa hasta 1939, en que se estableci en Estados Unidos de Amrica; la emigracin le salv de la suerte de la mayor parte de su familia, que pereci bajo la ocupacin nazi de Polonia. Desde Estados Unidos, donde vivira y enseara hasta su muerte, influy en toda la investigacin lgica posterior a la Segunda Guerra Mundial. Hizo aportaciones destacadas en teora de conjuntos, lgica polivalente,

niveles de lenguaje y metalenguaje y conceptos semnticos. Fue el autor de Introduccin a la lgica y a la metodologa de las ciencias deductivas en el ao 1941 y La concepcin semntica de la verdad y los fundamentos de la semntica en 1944.Junto con Aristteles, Gottlob Frege y Kurt Gdel, Tarski es considerado uno de los lgicos ms grandes de todos los tiempos. De los cuatro, Tarski es uno de los mejores matemticos, el ms prolfico y el que desarrollo una actividad educativa ms intensaLa concepcin de Tarski ha dado pie a reflexiones filosficas como las de Donald Davidson, para quien s es posible aplicar las nociones de Tarski a los lenguajes naturales si bien no como teora directa de la verdad, sino como parte de una teora de la interpretacin de esos lenguajes por sus hablantes y en la medida en que son formalizables de cierta manera BIBLIOGRAFIA: http://es.wikipedia.org/wiki/Alfred_Tarski Kurt Gdel Kurt Gdel ([kutgdl]) (28 de abril de 1906 Brno (Brnn), Imperio austrohngaro (ahora Repblica Checa) 14 de enero de 1978 Princeton, New Jersey) fue un lgico, matemtico y filsofo austriaco-estadounidense.1Reconocido como uno de los ms importantes lgicos de todos los tiempos, el trabajo de Gdel ha tenido un impacto inmenso en el pensamiento cientfico y filosfico del siglo XX. Gdel, al igual que otros pensadores como Bertrand Russell, A. N. Whitehead y David Hilbert intent emplear la lgica y la teora de conjuntos para comprender los fundamentos de la matemtica. A Gdel se le conoce mejor por sus dos teoremas de la incompletitud, publicados en 1931 a los 25 aos de edad, un ao despus de finalizar su doctorado en la Universidad de Viena.El ms clebre de sus teoremas de la incompletitud establece que para todo sistema axiomtico recursivo auto-consistente lo suficientemente poderoso como para describir la aritmtica de los nmeros naturales (la aritmtica de Peano), existen proposiciones verdaderas sobre los naturales que no pueden demostrarse a partir de los axiomas. Para demostrar este teorema desarroll una tcnica denominada ahora como numeracin de Gdel, el cual codifica expresiones formales como nmeros naturales.Tambin demostr que la hiptesis del continuo no puede refutarse desde los axiomas aceptados de la teora de conjuntos, si dichos axiomas son consistentes. Realiz importantes contribuciones a la teora de la demostracin al esclarecer las conexiones entre la lgica clsica, la lgica intuicionista y la lgica modal.En sus ltimos aos Gdel sufri de perodos de inestabilidad y enfermedad mental. Tena temores obsesivos de ser envenenado, y no coma a menos que su esposa Adele probara la comida antes que l. A finales de 1977 Adele fue hospitalizada durante seis meses y no pudo continuar probando la comida de Gdel. En su ausencia se rehus a comer, hasta el punto de dejarse morir de hambre. Al momento de su muerte pesaba 65 libras (aproximadamente 30 kg). El certificado de defuncin en el Hospital de Princeton, el 14 de enero de 1978, dice que muri de "desnutricin e inanicin causadas por perturbaciones en la personalidad BIBLIOGRAFIA: http://es.wikipedia.org/wiki/Kurt_G%C3%B6del Frederic E. Church fue el primer alumno de Thomas Cole, padre de la Escuela del ro Hudson, quien le transmiti su visin alegrica y majestuosa del paisaje americano, que se vio ya reflejada en los primeros paisajes de Nueva Inglaterra del joven pintor. Paulatinamente, las teoras de John Ruskin, del que aprendi que el estudio detenido de la

naturaleza era capaz de desvelar las verdades esenciales del mundo, le alejaron de los paisajes moralistas y picos de su maestro. En 1845 hizo su debut en la muestra anual de la National Academy of Design, institucin de la que pasara a ser miembro y en la que expondra de forma continuada durante toda su carrera. En 1847 su exposicin en la American Art Union le confirm como uno de los jvenes valores de la pintura del momentoEn 1859 cambi las regiones tropicales por el lejano Norte. Visit la pennsula del Labrador, Newfoundland y pint varios paisajes de icebergs. Su compaero de viaje y bigrafo de Thomas Cole, el reverendo Louis Legrand Noble, public un relato de la expedicin en Tras los icebergs junto a un pintor (1861)En. 1860 Church, que se encontraba ya en el punto ms alto de su carrera artstica, contrajo matrimonio con Isabel Carnes y compr un terreno con vistas al ro Hudson, donde construy Olana, una mansin campestre de estilo persa donde pas los ltimos aos de su vida. En la dcada de 1870 su xito comenz a declinar, y a partir de 1880, aquejado de un fuerte reumatismo, abandon los lienzos de gran formato y se dedic a decorar su casa y a pintarla en diferentes condiciones climticas en pequeos bocetos al leo. Cuando muri en 1900 era un artista olvidado BIBLIOGRAFIA: http://www.museothyssen.org/thyssen/ficha_artista/158