Resultado de búsqueda
15 de may. de 2024 · Gottlob Frege fue un matemático, lógico y filósofo alemán. Se le considera el fundador de la lógica moderna y uno de los primeros defensores de la tesis de que las verdades matemáticas son verdades lógicas (lo que se conoce como logicismo).
Hace 3 días · Gottlob Frege(1848-1925) Formula d modo claro la diferencia entre variable y constante. Distingue entre ley y regla e inicia la teoría de las descripciones. Giuseppe Peano(1858-1912) Considera q la lógica e un poderoso instrumento para sistematizar rigurosamente el saber matemático.Realiza una axiomatización de la aritmética usando la lógica.
Hace 5 días · Gottlob Frege (1848–1925) was a German geometry professor at the University of Jena who is understood as the father of analytic philosophy. Frege proved influential as a philosopher of mathematics in Germany at the beginning of the 20th century.
26 de may. de 2024 · Friedrich Ludwig Gottlob Frege: Pioneer of Logic and Mathematical PhilosophyIn this video we discussgottlob fregefregegottlob frege (author)gottlobfriedrich ...
- 6 min
- 40
- Math Mystique
Hace 4 días · Gödel’s Incompleteness Theorems—discovered by Austrian logician, mathematician, and philosopher Kurt Gödel (1906-1978)—are central to many philosophical debates about the limits of logical and mathematical reasoning. This essay introduces the Theorems and explains their importance.
24 de may. de 2024 · 1. Consider the following demonstration whose first line is the assumption called the axiom of unrestricted comprehension. ∀F∃y ∀x [x ∈ y iff F (x)] [OSC1] ∀F∃y [α ∈ y iff F (α)] [UI] ∃y [α ∈ y iff α ∉ α] [UI] α ∈ x1 iff α ∉ α [EI] The only way to get Russell's paradox is if alpha must be a general constant.
17 de may. de 2024 · Friedrich Ludwig Gottlob Frege: Pioneer of Logic and Mathematical Philosophy
- 45 s
- 5
- Math Mystique