-
Ζήνων fue un filósofo griego nacido en Elea, perteneciente a la escuela eleática. Fue discípulo directo de Parménides de Elea. Famoso por sus intrincadas paradojas que discuten la pluralidad de entes y en algunos casos el movimiento. Aristóteles lo llamó el inventor de la dialéctica y el matemático Bertrand Russell le describió como "inmensamente sutil y profundo".
-
Desarrolla la dialéctica como base de la lógica. Razonamiento por reducción al absurdo.
Sus razonamientos constituyen el testimonio más antiguo que se conserva del pensamiento infinitesimal desarrollado muchos siglos después en la aplicación del cálculo infinitesimal que nacerá de la mano de Leibniz y Newton en 1666. -
Πρωταγόρας fue un sofista griego. Admirado experto en retórica que recorría el mundo griego cobrando elevadas tarifas por sus conocimientos acerca del correcto uso de las palabras u ortoepía. Platón le acredita como el inventor del papel del sofista profesional o profesor de "virtud". Por esto es considerado como gran impulsor de el arte de la argumentación.
-
"El hombre es la medida de todas las cosas, de las que son en cuanto que son, de las que no son en cuanto que no son." Falleció circa 410 a.C.
-
Fue un filósofo clásico griego considerado como uno de los más grandes, tanto de la filosofía occidental como de la universal. Fue maestro de Platón, quien tuvo a Aristóteles como discípulo, siendo estos tres los representantes fundamentales de la filosofía de la Antigua Grecia.
No hay evidencia de que Sócrates haya publicado algún escrito de su autoría. Los etalles de su vida son conocidos por tres textos ajenos: los diálogos de Platón, las obras de Aristófanes y los diálogos de Jenofonte. -
Fue un filósofo, matemático y polímata griego discípulo de Leucipo, fundador del atomismo, y maestro de Protágoras. Tuvo un amplio campo de intereses, pero es especialmente recordado por su concepción atomista de un universo compuesto únicamente por átomos y vacío. Se le ha considerado como «el padre de la física» o «el padre de la ciencia moderna».
-
Fue un filósofo griego seguidor de Sócrates y maestro de Aristóteles En 387 fundó la Academia de Atenas, institución que continuaría a lo largo de más de novecientos años.
Participó activamente en la enseñanza de la Academia y escribió sus obras, mayoritariamente en forma de diálogo, sobre los más diversos temas: filosofía política, ética, psicología, antropología filosófica, epistemología, gnoseología, metafísica, cosmogonía, cosmología, filosofía del lenguaje y filosofía de la educación. -
Fué un filósofo, polímata y científico nacido en Estagira. Es considerado uno de los padres de la filosofía occidental. Sus ideas han ejercido influencia sobre la historia intelectual de Occidente por más de dos milenios. Estudió durante veinte años en la Academia de Atenas. Poco después de la muerte de Platón, Aristóteles abandonó Atenas para ser el maestro de Alejandro Magno en Macedonia. Hacia el final de su vida fundó el Liceo en Atenas, donde enseñó hasta un año antes de su muerte.
-
Fue un filósofo y botánico griego. Marchó a Atenas a una edad temprana, e inicialmente estudió en la escuela de Platón. Después de la muerte de Platón se relacionó con Aristóteles. Su nombre era "Tirtamo", pero se lo conoce por su apodo "Teofrasto", el cual le fue puesto por Aristóteles, quien le legó sus escritos y lo designó como sucesor en el Liceo, donde presidió a durante 36 años. Murió a los 85 años de edad.Su sucesor como cabeza de la escuela fue Estratón de Lámpsaco.
-
Fue un jurista, político, filósofo, escritor y orador romano.1 Es considerado uno de los más grandes retóricos y estilistas de la prosa en latín de la República romana.
Reconocido universalmente como uno de los más importantes autores de la historia romana, es responsable de la introducción de las más célebres escuelas filosóficas helenas en la intelectualidad republicana, así como de la creación de un vocabulario filosófico en latín. -
Fue el escritor romano más importante del siglo II. Posiblemente un bereber muy romanizado, nació en Madaura, ciudad romana de Numidia, en la frontera con Getulia. En su tiempo fue una zona relativamente alejada de los principales centros culturales de la latinidad, radicados en Italia, aunque su desarrollo urbano y económico permitieron que, hacia el siglo II, importantes intelectuales y políticos romanos procedieran de la zona.
-
Fue médico y filósofo griego, es uno de los más importantes representantes del escepticismo pirroniano y fuente de la mayoría de datos referentes a esta corriente filosófica.
-
Fue un filósofo neoplatónico griego discípulo de Plotino. A él le debemos la sistematización y publicación de la obra de Plotino -Enéadas- y su biografía -Vida de Plotino-. Es un temprano expositor de la filosofía del vegetarianismo, que puede verse en su tratado -Sobre la Abstinencia-.
-
Conocido también como San Severino Boecio fue un filósofo y poeta latino romano, actividad que compaginó con su faceta como estadista, traductor de filosofía griega y autor de tratados sobre distintas disciplinas como la música, la aritmética o la astronomía.
-
Conocido como Alcuinus Flaccus Albinus, fue un teólogo, religioso, filósofo, gramático, matemático, erudito y pedagogo anglosajón.
-
Fue un filósofo, teólogo, poeta y monje francés. Sostenía las ideas del conceptualismo y polemizaba contra el realismo natural escolástico. En su libro Sic et non sostenía que la fe religiosa debía ser limitada a principios racionales. Algunas de sus afirmaciones fueron condenadas como heréticas por la Iglesia católica. Es reconocido por la crítica moderna como un genio de la historia de la lógica, de la que hacía uso mediante los géneros y técnicas de la dialéctica y un dominio silogístico.
-
Fue un autor, educador y diplomático inglés, además de obispo de Chartres.
-
Fue fraile, teólogo y filósofo católico perteneciente a la Orden de Predicadores, es considerado el principal representante de la enseñanza escolástica y una de las mayores figuras de la teología sistemática. En materia de metafísica, su obra representa una de las fuentes más citadas del siglo XIII además de ser punto de referencia de las escuelas del pensamiento tomista y neotomista. Fue el principal defensor clásico de la teología natural.
-
Estudió humanidades, filosofía y teología en la Universidad de París, siendo discípulo de Juan de Parma y de Guillermo de Shyreswood, de quien heredó su entusiasmo por la Lógica, y sucesor de San Buenaventura.
Fue elegido Papa de Roma en el Conclave de Viterbo, con el nombre de Juan XXI. Logró la paz entre Felipe el Atrevido y Alfonso de Castilla, se pronunció a favor de Carlos de Anjou para el Sacro Imperio, preparó una nueva Cruzada. -
Fue un laico próximo a los franciscanos, filósofo, poeta, místico, teólogo y misionero mallorquín. Fue declarado beato por «culto inmemorial» y no por los cauces oficiales. Su fiesta se conmemora el 27 de noviembre. Se le considera uno de los primeros escritores en usar una lengua neolatina, el catalán, para expresar conocimientos filosóficos, científicos y técnicos, además de textos novelísticos. Se le atribuye la invención de la rosa de los vientos y del nocturlabio.
-
Fue un filósofo, lógico, teólogo y fraile franciscano inglés, conocido principalmente por ser el representante más destacado de nominalismo frente a las escuelas tomistas y escotistas; y por la Navaja de Ockham, un principio metodológico e innovador, y por sus obras significativas en lógica, medicina y teología.
A veces es vista la filosofía de Ockham como precursora del empirismo inglés, ya que hace hincapié sobre en el discurso racional, en detrimento de una especulación metafísica. -
Fue un retórico, humanista y lógico francés, creador de la corriente antiaristotélica de pensamiento denominada en su honor ramismo.
-
Fue un célebre filósofo, político, abogado y escritor inglés, padre del empirismo filosófico y científico. En su Novum organum (1620) precisó las reglas del método científico experimental, y desarrolló en su De dignitate et augmentis scientiarum (Sobre la dignidad y progresos de las ciencias) (1620) una teoría empírica del conocimiento, lo que hizo de él uno de los pioneros del pensamiento científico moderno. Asimismo, introdujo el género del ensayo en Inglaterra.
-
Fue un astrónomo, ingeniero, y físico italiano, relacionado estrechamente con la revolución científica. Eminente hombre del Renacimiento, mostró interés por casi todas las ciencias y artes. Sus logros incluyen la mejora del telescopio, gran variedad de observaciones astronómicas, la primera ley del movimiento y un apoyo determinante a la «Revolución de Copérnico». Ha sido considerado como el «padre de la astronomía moderna», el «padre de la física moderna» y el «padre de la ciencia».
-
Fue un filósofo inglés considerado uno de los fundadores de la filosofía política moderna. Su obra más conocida es el Leviatán, donde sentó las bases de la teoría contractualista, de gran influencia en el desarrollo de la filosofía política occidental. Además del ámbito filosófico, trabajó en otros campos del conocimiento como la historia, la ética, la teología, la geometría o la física.
-
Fue un filósofo, matemático y físico francés, considerado como el padre de la filosofía moderna.
Sentó las bases para el racionalismo moderno del siglo XVII contraria a la escuela empirista inglesa. Hizo contribuciones en física y óptico. El sistema de coordenadas cartesianas se nombra después de él. Se le acredita como el padre de la geometría analítica, el puente entre el álgebra y la geometría, utilizado en el descubrimiento del cálculo infinitesimal. -
Nació en París en 1612 y falleció en Bruselas el 8 de agosto de 1694. Llamado el Grand Arnauld por sus contemporáneos a fin de no confundirle con su padre, fue un sacerdote, teólogo, filósofo y matemático francés, uno de los principales líderes de los jansenistas y un destacado oponente de los jesuitas, los hugonotes y los descreídos o libertinos en el siglo XVII.
-
René Descartes, Baruch Spinoza y Leibniz integran la terna de los tres grandes racionalistas del siglo xvii. Su filosofía se vincula también con la tradición escolástica y anticipa la lógica moderna y la filosofía analítica. «Quizás nunca haya un hombre que haya leído tanto, estudiado tanto, meditado más y escrito más que Leibniz… Lo que ha elaborado sobre el mundo, sobre Dios, la naturaleza y el alma es de la más sublime elocuencia...» Denis Diderot.
-
Con su álgebra lógica es considerado por algunos como el fundador de la lógica moderna. Introduce el estudio del principio de razón suficiente. Concilia la nueva ciencia con la tradición escolástica. Toda demostración parte de los principios lógicos supremos.
-
Lógica de Port-Royal es el nombre con el que se conoce normalmente. Un importante manual de lógica publicado anónimamente por primera vez en 1662 cuyos autores son Antoine Arnauld y Pierre Nicole, dos miembros del movimiento jansenista, desarrollado alrededor de Port-Royal. Escrito bajo la influencia del racionalismo cartesiano es posible que Blaise Pascal contribuyese a la redacción del texto.
Representa una réplica cartesiana a la lógica escolástica. Distingue entre definición nominal y real. -
Fue un filósofo y científico alemán de la Ilustración. Fue el primero y más importante representante del criticismo y precursor del idealismo alemán. Es considerado como uno de los pensadores más influyentes de la Europa moderna y de la filosofía universal. Además se trata del penúltimo pensador de la modernidad, anterior a la filosofía contemporánea que comienza en 1831 tras la muerte del pensador Hegel.
-
En su libro, Logik, enuncia nuevas formas de juicio y una nueva tabla de categorías. Considera a la lógica formal como aquella que estudia el pensamiento independientemente de la realidad.
-
Fue un filósofo, economista, pensador y escritor inglés, padre del utilitarismo. Nació en Londres, Gran Bretaña, en el seno de una familia de juristas. Fue reconocido como niño prodigio por su padre al encontrarlo en su escritorio leyendo varios volúmenes de la Historia de Inglaterra. A los tres años leía tratados, tocaba el violín a los cinco, estudiaba latín y francés.
-
fue un filósofo del Idealismo alemán, el último de la Modernidad y uno de los más importantes de su época. A diferencia de Kant, su predecesor, Hegel defendía un tipo de Razón que resultaba de la relación dialéctica entre los raciocinios individuales y los hechos impredecibles de la realidad, y cuya sustancia sólo podía comprenderse a posteriori, siendo de esta forma una razón histórica, colectiva y providencialista.
-
Fue un matemático, lógico, filósofo y teólogo bohemio que realizó importantes contribuciones a las matemáticas y a la Teoría del conocimiento. En matemáticas, se le conoce por el teorema de Bolzano, así como por el teorema de Bolzano-Weierstrass. En su filosofía, Bolzano criticó el idealismo de Hegel y Kant afirmando que los números, las ideas, y las verdades existen de modo independiente a las personas que los piensen.
-
(1 de diciembre de 1792-24 de febrero de 1856) fue un matemático ruso del siglo XIX. Entre sus principales logros se encuentra la demostración de varias conjeturas relacionadas con el cálculo tensorial aplicados a vectores en el espacio de Hilbert. Fue uno de los primeros matemáticos que aplicó un tratamiento crítico a los postulados fundamentales de la geometría euclidiana.
-
Teólogo, filósofo y científico británico conocido por emplear el término científico en vez de filósofo natural y por su investigación en el campo de la historia de la ciencia y la filosofía de la ciencia. Desde una óptica neokantiana y tomando como modelo a newton, Whewell considera que el método científico se sustenta en la confluencia de inducciones. El avance del conocimiento científico depende de la adecuación progresiva entre los hechos y las ideas que los ponen en conexión.
-
Fue un filósofo, político y economista inglés de origen escocés, representante de la escuela económica clásica y teórico del utilitarismo, planteamiento ético propuesto por su padrino Jeremy Bentham.
Miembro del Partido Liberal, Mill fue un defensor de la libertad individual en oposición al control estatal y social ilimitado, como también defendió la investigación de la metodología científica, y el sufragio femenino. -
Fue un matemático y lógico británico. Como inventor del álgebra de Boole, que marca los fundamentos de la aritmética computacional moderna, es considerado como uno de los fundadores del campo de las ciencias de la computación. En 1854 publicó un libro con un sistema de reglas que le permitían expresar problemas lógicos. Se podría decir que es el padre de los operadores lógicos simbólicos y que gracias a su álgebra hoy en día es posible operar simbólicamente para realizar operaciones lógicas.
-
Fue un filósofo e historiador de la filosofía alemán. Al principio, Ueberweg siguió el empirismo de Beneke y se opuso fuertemente a la tendencia subjetivista del sistema kantiano, manteniendo en particular la objetividad del espacio y el tiempo. Prefirió describir su propio modo de pensamiento más tarde como un realismo ideal, que se negaba a reducir la realidad al pensamiento, pero afirmaba un paralelismo entre las formas de existencia y las formas de conocimiento.
-
Fue un filósofo alemán, exponente del psicologismo, y un precursor de la lógica de las normas o ciencia normativa. Estudió teología y filosofía en Tubinga, su ciudad natal, y luego fue profesor de filosofía en el mismo lugar. Influyó en Scheler y en Heidegger. Es autor de Lógica y de Cuestiones previas de la ética. Su padre fue el profesor de filosofía alemán Heinrich Christoph Wilhelm von Sigwart. Un frecuente crítico del psicologismo de Sigwart fue Charles S. Peirce en sus último escritos.
-
Fue un fisiólogo, psicólogo y filósofo alemán. Desarrollo el primer laboratorio de psicología experimental en Leipzig. La psicología se complementaba con las ciencias naturales, ya que estaba mediada por las estructuras biológicas, y hacía una abstracción del sujeto, de modo que conocía de forma indirecta. Consideraba que ambas estudiaban la misma experiencia pero desde distintos puntos de vista, por lo tanto no era posible la reducción de la psicología a las ciencias naturales, ni viceversa.
-
Fue un matemático y lógico británico miembro de la Real Sociedad de Londres. Es especialmente conocido por su método de representación gráfica de proposiciones (según su cualidad y cantidad) y silogismos conocido como los diagramas de Venn. Estos permiten una comprobación de la validez o invalidez de un silogismo. Posteriormente fueron utilizados para mostrar visualmente las operaciones más elementales de la teoría de conjuntos.
-
Fue un economista, filósofo y lógico inglés. Su corta vida estuvo llena de realizaciones y sus ideas sentaron las bases de una revolución en el pensamiento económico: la revolución marginalista.
Construyó la primera máquina lógica que tuvo capacidad suficiente para resolver un problema complicado en un menor tiempo que el requerido para resolver ese mismo problema sin la ayuda de la máquina. Ocupó la cátedra de "profesor de lógica y filosofía mental y moral" en la Universidad de Mánchester. -
Fue un filósofo, lógico y científico estadounidense. Es considerado el fundador del pragmatismo y el padre de la semiótica moderna o teoría de los signos, junto a Ferdinand de Saussure. Peirce publicó dos libros, Photometric Researches (1878) y Studies in Logic (1883), y un gran número de artículos en revistas de diferentes áreas.
William James reconoció a Charles Peirce como fundador del pragmatismo. -
Fue un matemático alemán, conocido especialmente por sus trabajos sobre lógica algebraica. Fue una figura principal de la historia de la lógica matemática, debido a que difundió la obra de Boole, De Morgan, MacColl y Peirce. Se hizo famoso con su Lecciones sobre el Álgebra de la Lógica, en 3 volúmenes, que preparó el camino para el surgimiento de la lógica matemática como una disciplina separada, durante el siglo XX y para la construcción de los diversos sistemas actuales de lógica formal.
-
Fue un filósofo alemán judío, fundador, entre otros, de la neokantiana Escuela de Marburgo. El refinamiento del análisis lógico que Cohen realizó del método transcendental kantiano influyó en que fuera recibido con escepticismo y con admiración a un tiemp. Pensaba Cohen que el idealismo ético kantiano y la teología judía eran una misma doctrina pero subrayó que las creencias religiosas personales debían quedar fuera del ámbito reflexivo de la filosofía.
-
Es célebre por su Teoría kantiana de la experiencia, La lógica del conocimiento puro, Sistema de filosofía y El concepto de religión en una filosofía sistemática.
-
Fue un notable matemático nacido en Rusia, aunque nacionalizado alemán, y de ascendencia austríaca y judía.1 Fue inventor con Dedekind de la teoría de conjuntos, que es la base de las matemáticas modernas. Gracias a sus atrevidas investigaciones sobre los conjuntos infinitos fue el primero capaz de formalizar la noción de infinito bajo la forma de los números transfinitos (cardinales y ordinales).
-
Fue un matemático, lógico y filósofo alemán. Se le considera el padre de la lógica matemática y de la filosofía analítica, concentrándose en la filosofía del lenguaje y de las matemáticas. Frege desarrolló su carrera en relativa oscuridad como catedrático de matemáticas de la Universidad de Jena, largamente ignorado por la comunidad filosófica y matemática. Es principalmente gracias a Peano y a Russell, que hicieron una gran labor de divulgación de la obra de Frege, que llegó a ser conocido.
-
Fue un matemático, lógico y filósofo italiano, conocido por sus contribuciones a la lógica matemática y la teoría de números. Peano publicó más de doscientos libros y artículos, la mayoría en matemáticas. La mayor parte de su vida la dedicó a enseñar en Turín.
-
Fue un filósofo y lógico francés, que formó parte de la escuela francesa de sociología. Formado en la École normale supérieure de París, realizó su doctorado sobre la filosofía de la ciencia. Fue profesor en Caen y en la universidad de Lyon. Es considerado un seguidor más del racionalismo francés, cercano a los postulados de Léon Brunschvicg y André Lalande. Sus obras más significativas fueron el estudio sobre la burguesía francesa de 1925 y el de la lógica de los juicios de valor de 1927.
-
Traité de Logique, de tendencia racionalista y positivista; representa uno de los mayores esfuerzos de la filosofía francesa por sistematizar la lógica.
-
Fue un filósofo y matemático alemán, discípulo de Franz Brentano y Carl Stumpf, fundador de la fenomenología trascendental y, a través de ella, del movimiento fenomenológico, uno de los movimientos filosóficos más influyentes del siglo XX y aún lleno de vitalidad en el siglo XXI.
-
Fue un matemático y filósofo inglés. Es reconocido como la figura que define a la escuela filosófica conocida como la filosofía del proceso, que hoy en día ha encontrado aplicación en una gran variedad de disciplinas.
Escribió principalmente sobre matemáticas, lógica y física. Sus trabajos más notables son los tres volúmenes de Principia Mathematica, que escribió junto con Russell.
Principia Mathematica es considerado uno de los trabajos más importantes sobre lógica matemática del siglo XX. -
Elementos de la lógica teórica, obra maestra de lógica moderna. Ambos fueron eminentes representantes de la dirección formalista en la filosofía de la matemática.
-
Fue un matemático alemán. Desarrolló en la teoría de invariantes, la axiomatización de la geometría y la noción de espacio de Hilbert, uno de los fundamentos del análisis funcional. Proporcionaron partes significativas de la infraestructura matemática necesaria para la mecánica cuántica y la relatividad general. Teoría de la demostración, la lógica matemática y la distinción entre matemática y metamatemática. Defendió vivamente la teoría de conjuntos y los números transfinitos de Cantor.
-
Lecciones de lógica, magnífico tratado sobre el concepto; contiene, además, un detallado resumen de la historia de la lógica.
-
Fue un filósofo y psicólogo alemán. Destacó por sus trabajos de psicología experimental. En filosofía, consideró el conocimiento como conjunción entre pensamientos y experiencia. Fue miembro de la llamada escuela de Wurzburgo. Partidario del estudio experimental del pensamiento, introdujo el concepto de preparación genética a la tarea, que suponía una preselección de respuestas y un rechazo del asociacionismo.
-
Fue un filósofo, lógico, lingüista y matemático francés. Fue en Francia uno de los precursores de la lógica simbólica. Concibió la lógica simbólica como un instrumento para el perfeccionamiento de las matemáticas y de la filosofía, integrando así la corriente llamada logicismo; en este aspecto, se opuso a Henri Poincaré, quien anticipó a su vez el intuicionismo de Brouwer. Couturat contribuyó asimismo al desarrollo del lenguaje artificial ido, una variante del esperanto.
-
Fue un filósofo alemán perteneciente al grupo de Fenomenología de Múnich. Discípulo de Theodor Lipps se transformó en uno de los principales colaboradores del Anuario de Filosofía e Investigación Fenomenológica editada por Edmund Husserl y por ello en uno de los principales impulsores de la Fenomenología a comienzos de siglo XX.
-
Logik, la más completa exposición de la lógica en sentido fenomenológico.
-
Fue un filósofo, matemático, lógico y escritor británico ganador del Premio Nobel de Literatura. Russell encabezó la revuelta contra el idealismo británica. Es conocido por su influencia en la filosofía analítica junto con Frege, Moore, Ludwig Wittgenstein y Whitehead, coautor de su obra Principia Mathematica. Apoyó la idea de una filosofía científica y propuso aplicar el análisis lógico a problemas tradicionales, como el problema mente-cuerpo o la existencia del mundo físico.
-
Fue un físico alemán de origen judío, nacionalizado después suizo, austriaco y estadounidense. Se le considera el científico más importante y popular del siglo XX. En 1905, publicó su teoría de la relatividad especial. Como una consecuencia lógica de esta teoría, dedujo la ecuación de la equivalencia masa-energía, E=mc². Ese año publicó otros trabajos que sentarían algunas de las bases de la física estadística y de la mecánica cuántica.
-
Fue un economista británico, considerado como uno de los más influyentes del siglo xx. Sus ideas tuvieron una fuerte repercusión en las teorías y políticas económicas. La principal novedad de su pensamiento radicaba en considerar que el sistema capitalista no tiende al pleno empleo ni al equilibrio de los factores productivos, sino hacia un equilibrio que solo de forma accidental coincidirá con el pleno empleo.
-
A Treatise on Probability, representa uno de los mayores avances en la teoría de la inducción después de Mill.
-
Fue un influyente filósofo y físico nacido en Alemania que desarrolló su actividad académica en Centroeuropa hasta 1935 y, a partir de esta fecha, en Estados Unidos. Destacado defensor del positivismo lógico, fue uno de los miembros más destacados del Círculo de Viena.
-
Compendio de logística, establece un análisis lógico del lenguaje y desarrolla el concepto de probabilidad.
-
Fue un matemático estadounidense, conocido como el fundador de la cibernética. Acuñó el término en su libro Cibernética o el control y comunicación en animales y máquinas, publicado en 1948.
-
Funda la cibernética. Considera a la cibernética como la teoría de la información y de la comunicación. Su aportación sirve de base al desarrollo de las computadoras electrónicas. Considera que existe una analogía entre estas máquinas y los organismos vivos.
-
Fue un matemático alemán. Es conocido, sobre todo, por la función de Ackermann, nombrada en su honor, un ejemplo importante en la teoría de la computación.
-
Fue un matemático, lógico, informático teórico, criptógrafo, filósofo, biólogo teórico, maratoniano y corredor de ultradistancia británico. Uno de los padres de la ciencia de la computación y precursor de la informática moderna. Proporcionó la máquina de Turing. Formuló su la tesis de Church-Turing. En la inteligencia artificial es conocido por la prueba de Turing. Durante la segunda guerra mundial, trabajó en descifrar los códigos nazis, particularmente los de la máquina Enigma.
-
Propone un modelo para construir máquinas computadoras. Descubre la conexión entre lógica y computación.
