Professional Documents
Culture Documents
DE LA MODERNA
LGICA FORMAL
Frege (1848-1925)
Fue un lgico y matemtico alemn.
Profesor en Jena de 1879 a 1918.
Publico parte de su obra con su propio dinero, pues no alcanzo reconocimiento en
vida.
Creo una lgica formal moderna en la que pretenda que los principios
matemticos, se redujeran en principios lgicos.
Obras:
la conceptografa (1879)
Plantea el primer sistema de notacin formal de la lgica.
Disea una teora formal de la prueba lgica.
Fundamentos de la aritmtica (1884)