El presidente del Gobierno, Pedro Sánchez, el pasado 24 de junio durante su última comparecencia en el Congreso. / José Luis Roca

La historia de la lógica moderna se entrecruza habitualmente con la de las matemáticas, pero habrá que esperar hasta finales del siglo XIX para que ambas disciplinas se conviertan en inseparables, e incluso una alcance la categoría de fundamento de la otra. Gottlob Frege es considerado el padre de la lógica axiomática, mientras que el ruso Georg Cantor está igualmente detrás de la concepción conjuntista de las matemáticas, hoy imperante en la ciencia exacta. El alemán perseguía febrilmente la precisión, es decir, un lenguaje unívoco fomentando la formalización simbólica. Y, en esta dirección, desarrolló una nueva notación de los conectores lógicos básicos para hacer comprender que la base de las matemáticas está inspirada en la lógica. Ese fue el propósito de su obra capital, Begriffsschrift (1879), que se puede traducir indistintamente al castellano como Conceptografía o Ideografía. En un principio, nadie la entendió y su arriesgada........

© La Provincia