Beruflich Dokumente
Kultur Dokumente
La Conceptografa (1879)
*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.
*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