Tras dos decenios de ardua faena del lógico-matemático alemán Gottlob Frege (1848-1925) en su conocido ´´programa logicista´´, consistente en deducir la matemática a partir de la lógica, y más aun, demostrar los teoremas usando solamente lógica, Frege sentía cómo se iba asentando la teoría de conjuntos y la lógica en nuevos métodos de demostraciones.
No obstante, en 1902, cuando se estaba terminando de imprimir su segundo volumen ´´Las Leyes Fundamentales de la Aritmética´´ Frege recibía en sus manos una carta del también lógico Bertrand Russell, aseverando las falencias que había encontrado del volumen anterior. Continuar leyendo «Paradoja del barbero»
Demostraciones 