Búsqueda por
palabras:
  • Paraula 1
  • Paraula 2
  • Paraula 3
  • Paraula 4
Palabra exacta:
Filtrar por
temas:
Filtrar por
autores:

SKOLEM-LÖWENHEIM (TEOREMA DE)

El matemático alemán Leopold Löwenheim presentó, y probó, un teorema que tiene importancia en la esfera de la vali­dez de fórmulas del cálculo de predicados de primer orden (cálculo cuantificacional ele­mental). Es asimismo importante en el desa­rrollo de la teoría reductiva de la prueba y en el problema de la decisión (véase Decidible). El teorema, llamado «teo­rema de Lowenheim», reza como sigue: «Si el dominio es cuando menos numerable­mente infinito, no ocurre que una ecuación fugaz de primer orden sea satisfecha para va­lores arbitrarios de los coeficientes relati­vos» (donde

Este web utiliza "cookies" propias y de terceros para ofrecerle un mejor servicio, al navegar el usuario acepta su uso Más info
ACCEPTAR