-
René Descartes
(La Haye, Turena francesa, 31 de marzo de - Estocolmo, Suecia, 11 de febrero de 1650)
<br>
Biografía
<h1>Aportes</h1>
* Cogito Ergo Sum
* Separación Cuerpo Mente
* Hombre como máquina -
BLAISE PASCAL
(Clermont-Ferrand, 19 de junio 1623 - París, 19 de agosto de 1662)
<br>
Biografía
<h1>Aportes;</h1>
* PASCALINA
* Diferencias entre Pensamiento y Sentimiento -
Gottfried Wilhelm Leibniz
(Leipzig, 1 de julio de 1646 - Hannover, 14 de noviembre de 1716)
<br>
Biografía
<br>
<h1>Aportes</h1>
* Cálculo Infinitesimal
* Cálculo del Razonamiento
* Sistema Binario de Numeración -
GEORGE BOOLE
(2 de noviembre de 1815 - 8 de diciembre de 1864)
Biografía
<h1>Aportes</h1>
* Leyes básicas del pensamiento (Conectivas And, Or y Not)* Tablas de Verdad -
ADA AUGUSTA BYRON
(10 de diciembre de 1815, Londres, Reino Unido - 27 de noviembre de 1852, Londres, Reino Unido)
Bibliografía
<br>
<h1>Reseñas</h1>
* Condesa de Lovelace
* Sistema Binario
* Primera Programadora -
GOTTLOB FREGE
(8 de noviembre de 1848 en Wismar - † 26 de julio de 1925 en Bad Kleinen)
Biografía
<h1>`portes</h1>
* Cálculo de Predicados
* Casa(Verde)
* Verde(Casa)
* (Para todo x)
* (Existe un x) -
David Hilbert
(23 de enero de 1862, Königsberg, Prusia Oriental – 14 de febrero de 1943, Gotinga, Alemania)
<br>
Biografía
<h1>Aportes</h1>
* Axiomatizaci‘n de la Geometría
* Teoría de la Demostración* Metamatemática -
BERTRAND RUSSELL
(Trellech, 18 de mayo de 1872 - Penrhyndeudraeth, 2 de febrero de 1970)
<br>
Biografía
<h1>Aportes</h1>
* Principia Mathematica
* La Matemática tiene sus raíces en la Lógica* Alfred North Whitehead -
Kurt Gödel
(28 de abril de 1906 Brünn, Imperio austrohúngaro, actual República Checa – 14 de enero de 1978, Princeton, Estados Unidos)
<br>
Biografía
<h1>Aportes</h1>
* Teorema de Incompletitud* Fundamentos de la Metamatemática -
CHARLES BABBAGE
(Teignmouth, Devonshire, Gran Bretaña, 26 de diciembre de 1791 - Londres, 18 de octubre de 1871)
<br>
Biografía
<br>
<h1>Aportes</h1>
* Padre del Computador Electrónico
* Máquina Diferencial -
Aristóteles (384 a. C. – 322 a. C.)
<br>
Biografía
<br>
<H1>Aportes</H1>
* Leyes de la Lógica
* Ley de Identidad
* Ley de la Negación
* Ley del Tercer Excluido