Teoría de modelos
En matemática, teoría de modelos es el estudio de (clases de) estructuras matemáticas tales como grupos, cuerpos, grafos, o incluso universos de teoría de conjuntos, en relación con las teorías…
Mes: febrero 2019
-
Axioma
Un axioma es una proposición asumida dentro de un cuerpo teórico sobre la cual descansan otros razonamientos y proposiciones deducidas de esas premisas. Introducido originalmente por los matemáticos griegos del…
Teoría de conjuntos
La teoría de conjuntos es una rama de la lógica matemática que estudia las propiedades y relaciones de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en sí mismas.…
Filosofía analítica
La filosofía analítica es una rama de la filosofía desarrollada a principios del siglo XX a partir de las obras de Bertrand Russell, George Edward Moore, Gottlob Frege, varios miembros…
Lógica matemática
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística, es el estudio matemático de la lógica y su aplicación a otras áreas de la matemática y…
Operador
En matemáticas, lógica y física el término operador puede ser usado con diversas acepciones . En alguna versión, un operador es un símbolo matemático que indica que debe ser llevada…
Giuseppe Peano
Giuseppe Peano (Spinetta, 27 de agosto de 1858 – Turín, 20 de abril de 1932) fue un matemático, lógico y filósofo italiano, conocido por sus contribuciones a la lógica matemática…
Bertrand Russell
Bertrand Arthur William Russell, tercer conde de Russell, OM, MRS (Trellech, 18 de mayo de 1872 – Penrhyndeudraeth, 2 de febrero de 1970) fue un filósofo, matemático, lógico y escritor…
Gottlob Frege
Friedrich Ludwig Gottlob Frege (Wismar, 8 de noviembre de 1848 – Bad Kleinen, 26 de julio de 1925) fue un matemático, lógico y filósofo alemán. Se le considera el padre…
Georg Cantor
Georg Ferdinand Ludwig Philipp Cantor (San Petersburgo, 3 de marzo de 1845 – Halle, 6 de enero de 1918) fue un matemático y lógico nacido en Rusia, aunque de ascendencia…