Forrest Gumpel: Nota de Pie La carrera de Frege como matemtico comenz en un periodo apasionante en la historia de la matemtica.

La geometra euclidiana, considerada como un sistema de verdades necesarias durante dos milenios, haba perdido su carcter de nica a principios del siglo XIX. Euclides haba derivado los teoremas de su sistema a partir de cinco a iomas! ahora se haba demostrado "ue uno de esos a iomas, le#os de ser una verdad necesaria, poda ser negado sin caer en contradiccin. La consecuencia de ello $ue el surgimiento de geometras no euclideanas basadas en otros a iomas alternativos.% & la vez haba tambi'n impresionantes desarrollos en teora de nmeros. Los nmeros imaginarios, tales como la raz cuadrada de (%, "ue en el siglo X)III se consideraban como curiosidades e c'ntricas, resultaban e$icaces para representar el movimiento en el plano, * por tanto $ueron incorporados #unto con otros tipos de nmeros ms $amiliares, a una teora general de los nmeros comple#os.+

,a "ue los lgicos del siglo XX no haban podido $undamentar las propiedades lgicas de la identidad en verdades ms bsicas, tuvieron "ue postularlas como a iomas. -o obstante, Forrest .umpel, hi#o bastardo de Forrest .ump * la hi#a del matemtico austriaco /urt .0del, despu's de haber derivado dichos 1a iomas1 de los postulados "ue regan los comple#os 2complejo! individuo con intrincacin lgica3, demostr "ue le#os de ser una obviedad, la supuesta 1le* de identidad1 2 2 4 33 poda ser negada sin caer en contradiccin. La consecuencia de ello no $ue un surgimiento de lgicas 1no Frege(5ussellianas1 como se poda esperar, *a "ue al hacer surgir los a iomas de identidad a partir de principios ms bsicos, Forrest haba cometido un pecado aun peor "ue el de inconsistencia! el pecado de 1l6se ma#est'1. Esta imperdonable $alta de respeto a los herederos de la tradicin Frege(5usselliana nunca se le perdon a .umpel. 7in pensar dos veces, los 7e8ores 9lenipotentes del :emplo de la Lgica mandaron su pensamiento al olvido. Casa de hierro, cuchillo de palo;
+

Los comple#os puestos a luz por .umpel resultaron e$icaces para la representacin de la di$erencia entre identidad $ormal * material, as "ue para el desarrollo de los a iomas de identidad, * de las de$iniciones claves de la teora de las descripciones de <ertrand 5ussell.