*Friedrich Ludwig Gottlob Fredge:

Friedrich Ludwig Gottlob Frege (1848-1925) fue un matemtico, lgico y filsofo

alemn, padre de la lgica matemtica y la filosofa analtica.
Nacido en Alemania, 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 en el ao 1873.
Estudi matemticas, filosofa, fsica y qumica en las Universidades de Jena
(1869-1871) y Gotinga (1871-1873), y fue profesor de matemticas en Jena. En su
primera obra relevante (Ideografa, un lenguaje formal del pensamiento puro a
imitacin de la aritmtica, 1879) se manifiesta por vez primera un sistema de
lgica matemtica, utilizando un lenguaje simblico, en el que se realiza el
anlisis lgico no en la forma sujeto-predicado, sino en forma variableargumento, y se utilizan las funciones conectivas. Su obra fue ignorada por la
mayor parte de sus colegas, vilipendiada por otros como George Cantor y leda y
apreciada por Bertrand Russell y Ludwig Wittgenstein.
*Sus obras:

La Conceptografa (1879)

Los fundamentos de la aritmtica (1884)

Las leyes bsicas de la aritmtica ( dos volmenes) (1893-1903)

*Logicismo:
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. Sin embargo su defensa del logicismo era de alcance limitado,
aplicndola slo a la aritmtica y a la teora de conjuntos, puesto que Frege
permaneci en gran medida kantiano respecto de la geometra. Su obra
titulada Leyes bsicas de la aritmtica fue un intento de llevar a cabo el proyecto
logicista. En 1902, con las pruebas corregidas del segundo volumen ya en la
imprenta, recibi una carta de Bertrand Russell en la que le adverta acerca de una
grave inconsistencia en su sistema lgico, conocida ms adelante como la paradoja
de Russell.

Trabaj intentando deducir los principios de la aritmtica de los principios de la

lgica. Invent muchas notaciones simblicas,
como cuantificadores y variables, estableciendo as las bases de la lgica
matemtica moderna.
Sus escritos sobre la filosofa de la lgica, la filosofa de las matemticas y la
filosofa del lenguaje son de gran importancia. - Una vez dijo:
Todo buen matemtico es al menos la mitad de un filsofo, y cada filsofo es buena
por lo menos la mitad de un matemtico. Gottlob Frege falleci en Bad Kleinen,
Alemania, el 26 de julio de 1925.
http://www.mcnbiografias.com/app-bio/do/show?key=frege-gottlob
http://roxyare.blogspot.pe/2011/02/este-blog-esta-disenado-por-estudiantes.html

*George Boole:
Naci el 2 de noviembre de 1815 en Lincoln, Lincolnshire.
Autodidacta, aprendi por su cuenta latn y griego.
Matemtico britnico. Autodidacta, fund su propia escuela de enseanza elemental.
Public diversos artculos sobre la combinacin del lgebra y el clculo, y desarroll
un lgebra propia, que aplic a la lgica, sosteniendo que sta debera ser una rama
de las Matemticas, en lugar de la Filosofa. Fue el iniciador de la lgica simblica,
que representa los procesos del razonamiento mediante smbolos matemticos. Sus
trabajos impresionaron a sus colegas de la poca, lo que le gan en 1849 el puesto
de profesor del Queens College de Cork, que le fue ofrecido a pesar de que no tena
ttulo universitario.
*Sus inventos:
Como inventor del lgebra de Boole, la base 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 l desarrollaba un
sistema de reglas que le permita expresar, manipular y simplificar, problemas
lgicos y filosficos cuyos argumentos admiten dos estados (verdadero o falso).
-En 1857, fue nombrado miembro de la Royal Society de Londres. Entre todas sus
obras, destaca el libro de " Investigacin de las leyes del pensamiento.
-En 1860, tambin public dos textos, " Tratado de las ecuaciones diferenciales " y "
Tratado sobre el clculo de diferencias finitas
A George Boole se le considera uno de los padres de las ciencias computacionales,
en gran medida por su invencin del lgebra booleana. Este profesor de la QueenCollege de Cork (Irlanda) cre el primer sistema de lgica matemtica conocida
como lgebra de la lgica, en la que se incluye el incluido el mecanismo de
bsqueda de informacin del propio Google. Segn un artculo de Tecnologa
publicado en la BBC, invent hace ms de 150 aos cmo buscar en Google. Y es
que todos los motores de bsqueda se basan en unos principios de lgica ideados
por este matemtico adelantado a su tiempo.
George Boole falleci en diciembre de 1864 a causa de una fiebre sin tener ni la ms
remota idea de lo que era Google, pero sin embargo sus aportaciones, aunque en
vida no fueron tan reconocidas, resultaron decisivas para el desarrollo de este
gigante tecnolgico.
George Boole se cas con Mary Everest, la sobrina de George Everest, uno de los
grandes topgrafos de la historia y la persona en cuyo honor se bautiz al pico ms
alto del planeta.
http://www.buscabiografias.com/biografia/verDetalle/2120/George%20Boole
http://www.mcnbiografias.com/app-bio/do/show?key=boole-george
http://www.lavozdegalicia.es/noticia/redessociales/2015/11/01/george-boolematematico-creo-google-saberlo/00031446408599416509323.htm