Teorema de Frege

Mira otros diccionarios:

• Sistema de Frege — Saltar a navegación, búsqueda Un sistema deductivo T, es un sistema de Frege si cumple las siguientes condiciones: Los axiomas de T son tautologías Para cada regla de inferencia de T se verifica {A1...An} satisface a A Un sistema de Frege (T) es… …   Wikipedia Español

• Sistema de Frege — Un sistema deductivo T, es un sistema de Frege si cumple las siguientes condiciones: ● Los axiomas de T son tautologías ● Para cada regla de inferencia de T se verifica A1...An satisface a A Un sistema de Frege (T) es completo si toda tautología… …   Enciclopedia Universal

• Principio de Hume — Saltar a navegación, búsqueda El principio de Hume, o HP es un término creado por George Boolos el mismo establece que el número de Fes es igual al número de Gs si hay una correspondencia uno a uno (una biyección) entre las Fs y las Gs. El HP… …   Wikipedia Español

• Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… …   Wikipedia Español

• Lógica — La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico,… …   Wikipedia Español

• Axiomas de Zermelo-Fraenkel — Los axiomas de Zermelo Fraenkel, formulados por Ernst Zermelo y Adolf Fraenkel, son un sistema axiomático concebido para formular la teoría de conjuntos. Normalmente se abrevian como ZF o en su forma más común, complementados por el axioma de… …   Wikipedia Español

• George Boolos — George Stephen Boolos (4 de septiembre de 1940, Nueva York – 27 de mayo de 1996) fue un filósofo y estudioso de lógica matemática que enseñó en el Massachusetts Institute of Technology. Contenido 1 Vida 2 Trabajo 3 Véase también …   Wikipedia Español

• Número — Este artículo trata del concepto matemático. Para el concepto lingüístico véase Número gramatical. Para otros usos de este término, véase Número (desambiguación). Un número es una entidad abstracta que representa una cantidad (de una magnitud).… …   Wikipedia Español

• Metamatemática — La metamatemática es el estudio matemático de los fundamentos de las matemáticas. Contenido 1 Contexto histórico del concepto 1.1 La paradoja de Richard 1.2 La demostración de Zermelo …   Wikipedia Español

• Anexo:Matemáticos importantes — En esta lista de matemáticos importantes se presenta una selección de matemáticos desde la antigüedad hasta el presente. La selección se orienta por los aportes científicos, utilizando como criterio para definir el grado de notoriedad la atención …   Wikipedia Español