El empleo consciente de los números negativos tuvo lugar ya dentro de la matemática
china, india y, ocasionalmente, en la islámica. Los números negativos enteros y los fraccionarios alcanzaron en Europa pleno reconocimiento en la época del capitalismo naciente entre los comerciantes y maestros de cálculo. En Europa puede encontrarse un pleno reconocimiento de los números irracionales como número en la obra de Steven; desde el punto de vista de su sistema de posición decimal, esto tenía que ser hasta cierto punto obligatorio para todos los números. Academia de Ciencias de Irlanda. Sus últimos 22 años de vida, los dedicó al estudio de los cuaterniones y sus aplicaciones. Inicialmente, Hamilton muestra un gran interés en la multiplicación de tripletas, él escribe sus tripletas (a, b, c) como (a+bi+cj) y visualiza sus unidades 1, i, j como segmentos dirigidos de longitud, unidad y mutuamente perpendiculares. Pero Hamilton no se detiene aquí y continúa buscando la interpretación de los nuevos números. Los últimos 20 años de su vida los dedicó Hamilton a su álgebra favorita, la cual creía que tenía implicaciones cósmicas, incluso algunos matemáticos británicos, la consideraban un tipo de arithmetica universalis leibniziana. En 1853 apareció su Lectures on Quaternions, obra en la que Hamilton estuvo trabajando hasta su muerte, el impacto de la obra de Hamilton fue grande, sobre todo en los países anglófonos. Euler fue el primer matemático que propuso estudiar la naturaleza aritmética de clases generales de expresiones numéricas. En su Introduction (1748), formula la conjetura de que el número log b es un número racional o un número trascendente, para a y b números algebraicos. Casi un siglo después, Liouville (1844) obtuvo la primera condición suficiente para que un número sea trascendente con la desigualdad de Liouville y medio siglo después, en 1900, este problema fue señalado por Hilbert en el II Congreso Internacional de Matemática, como uno de los 23 problemas fundamentales para el desarrollo futuro de la matemática. Estos teóricos de los conjuntos se clasifican entre los matemáticos empiristas (o realistas), por oposición a los idealistas. La noción de conjunto puede obtenerse por medio del denominado axioma de comprensión. También puede conservarse la noción intuitiva de conjunto tal y como lo han considerado A. Schonflies, Borel, Sierpinski y otros. El axioma de comprensión puede expresarse del siguiente modo: Los conjuntos son entidades matemáticas que tienen una cierta propiedad en común, la definición de la cual determina si un cierto ente es o no, elemento de un conjunto. Los conjuntos son entes matemáticos y, por ende, ellos pueden ser elementos de un conjunto. Los conjuntos que tienen los mismos elementos son idénticos, por lo tanto, un conjunto está unívocamente determinado por sus elementos. La noción de número transfinito parece haberse introducido por primera vez a propósito de la teoría de los conjuntos de puntos. Se llama punto de acumulación o punto límite de un conjunto infinito de puntos sobre un segmento. La sucesión natural de los enteros reposa sobre la operación de adición de la unidad a un entero ya formado. Llamaremos a ese principio de formación de la sucesión de los enteros, primer principio de formación. La aplicación de este principio no conoce fin. Sin embargo, esta aplicación no puede hacernos salir de la sucesión natural de los enteros. Todo conjunto de números ordinales está bien ordenado puesto que todo subconjunto de números ordinales contiene un ordinal inferior a todos los demás, que puede ser, por tanto, considerado como el primer elemento. Un conjunto bien ordenado tiene por tipo de orden un número ordinal ø. Este conjunto es semejante a todos los ordinales inferiores a ø, ordenados de acuerdo con su magnitud. Ciertos teóricos como Zermelo, responden afirmativamente y apoyan su razonamiento sobre un axioma, llamado axioma de elección o axioma de Zermelo. En 1900-Hilbert en el II Congreso Internacional de Matemáticas, celebrado en París, plantea sus famosos 23 problemas. El no.1 es la hipótesis del continuo, el segundo estaba relacionado con la consistencia de los axiomas aritméticos. 1900-Se celebra el Primer Congreso Internacional de Filosofía en París, donde Peano influye decisivamente en la carrera intelectual de Russell y muchos otros matemáticos, lógicos y filósofos. Conferencia 14 227 1903-Russell publica su libro Principios de las Matemáticas. 1904-Lebesgue introduce los nuevos conceptos de medida de conjuntos y funciones medibles. 1904 a 1908-Zermelo elabora un axiomático general de la teoría de conjuntos que pretende eliminar las paradojas. 1904 a 1910-Hilbert investiga los espacios funcionales infinitos. El logicismo, cuyo principal representante fue Russell (1872-1969) y su Biblia los Principia Mathematica, debió su nombre al hecho de pretender que los conocimientos básicos de la matemática podían definirse mediante recursos puramente lógicos. Analizando la estructura lógica de las paradojas, Bertrand Russell y Alfred North Whitehead (1861- 1947) plantearon que la solución para eliminar las paradojas era admitir un llamado principio del círculo vicioso: Un elemento cuya definición implica la totalidad de los elementos del conjunto, no puede pertenecer a dicho conjunto, lo que obligó a desarrollar una teoría de tipos, escalonando las proposiciones en una serie jerárquica, y a recurrir a un discutible axioma de deducibilidad. La tercera posición de las destacadas al comienzo, el formalismo, cuyo adalid fue Hilbert, al acentuar el carácter formal de la Matemática, que constituye una nota esencial de esta ciencia, fue por ello la tendencia más tradicional y conservadora, y también la más afín a los matemáticos de profesión. El estudio de ciertos sistemas físicos, resulta interesante, y casi siempre necesario, conocer propiedades de las soluciones de la ecuación o sistema que modela tal sistema tales como acotamiento, estabilidad, periodicidad, etc., sin tener que recurrir a la ardua y laboriosa tarea, que en muchos casos es impracticable, de encontrar expresiones analíticas para las soluciones. De este modo, surgió el problema de investigar las propiedades de las soluciones de una ecuación diferencial a partir de su propia expresión, dando lugar a la Teoría Cualitativa de las ecuaciones diferenciales, teoría que surge en la segunda mitad del siglo XIX y que fue abordada inicialmente por Jules Henri Poincaré (1854-1912) y Alexander Mijaílovich Liapunov (1857-1918) aunque por motivos diferentes uno, debido al estudio de figuras de equilibrio y de la estabilidad del movimiento y el otro, debido a sus investigaciones en Mecánica Celeste.