Sistemas numericos

RESEÑA HISTORICA DE LOS PRECURSORES DE LA LÓGICA MATEMÁTICA
Introducción a la lógica matemática:
¿Qué es? Simple y sencillamente, la lógica matemática es aquella que se encarga de decidir si algo es verdadero o no. Se basa en tomar una condición, llevar un razonamiento determinado, y evaluar si es valida o no.
Se crean a través de la necesidad de desarrollar una ciencia exacta que noestuviese basada en palabras, como lo que es la lógica en tal, sino que en lugar de ser frases de difícil evaluación, se crearon símbolos lógicos, que se encargaban de determinar una o varias acciones y expresarlas en una forma mas sencilla, sin necesidad de afirmar una oración, acción o enunciado complejo, lo que dio lugar a la lógica simbólica, también conocida como la lógica matemática.
La lógicamatemática, en términos exacta, es un lenguaje formal con reglas definidas, creadas artificialmente para formular, expresar y representar enunciados acerca de lo que pasa alrededor del mundo, y que además puede interferir en un razonamiento anterior dado, es por eso que se le conoce también con el nombre de lógica formal, lo que significa que toda la representación de estos factores es siempre deforma analítica a algo que solo le podemos dar una afirmación o una negación, un valor verdadero, que se cumple, o un valor falso, el cual nos dice que es una negación, mas no que puede representarnos un caso contrario.



Resumen:
A continuación se expondrán algunos precursores de la lógica matemática, que dieron su conocimiento y aportaron a la realización de estetema, tales como:
Leibniz: Inventó el sistema binario, fundamento de virtualmente todas las arquitecturas de las computadoras actuales. Fue uno de los primeros intelectuales europeos que reconocieron el valor y la importancia del pensamiento chino y de la China como potencia desde todos los puntos de vista
Tratando el tema principal de Leibniz, es importante hacer mención de el aquí, ya quesabemos que la computadora basa su lógica total en una serie de afirmaciones. Es importante hacer mención de el en esta parte, ya que Leibniz crea el sistema binario, que no es más que 2 valores representados como:
0 = Falso, significa que la condición no se cumple y el resultado final será negativo, mas no compuesto.
1= Verdadero, significa que la condición evaluada realmente es afirmativa y es elresultado positivo.

Louis Couturat: Fue un gran pensador y un matemático, este es quien se encargo de sacar a la luz los trabajos de Leibniz y de retomar la investigación de Guiseppe, formando así la primera representación simbólica aceptada que no solo utilizaba el concepto de ser perfeccionista, sino que además era capaz de ser aplicada tanto en matemáticas como en la filosofía.
También sele conoce por trabajar en un proyecto importante llamado “Principia Mathematica“en conjunto con Bertrand Russell.

Bertrand Russell: Aplicó un acercamiento extensionista en donde la lógica a su vez se basaba en la teoría de conjuntos. En 1900 participó en el primer Congreso Internacional de Filosofía en París, donde se familiarizó con el trabajo del matemático italiano Giuseppe Peano. Seconvirtió en un experto del nuevo simbolismo de Peano y su conjunto de axiomas para la aritmética. Peano definió lógicamente todos los términos de estos axiomas con la excepción de 0, número, sucesor y el término singular "el" (the), los que eran primitivos de su sistema. Russell se dio la tarea de encontrar definiciones lógicas para cada uno de estos. Entre 1897 y 1903 publicó varios artículos aplicandola notación de Peano en la álgebra clásica de relaciones de Boole-Schröder, entre ellos (Acerca de la noción del orden), (Sur la logique des relations avec les aplicaciones à la théorie des séries), y (Acerca de los números cardinales).
Russell al final descubrió que Gottlob Frege había llegado de forma independiente a definiciones equivalentes para 0, sucesor y número; la definición de número...