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

LÖWENHEIM, LEOPOLD (1878-1957)

Nac. en Krefeld (Alemania), siguió al lógico y matemático Ernst Schröder. Trabajó en pro­blemas concernientes al cálculo lógico de do­minios y también en la aplicación del «cálculo de relativos» de Schröder. Dentro del último presentó y probó (1915) el llamado «teorema de Löwenheim», según el cual un conjunto consistente de axiomas que sea vá­lido en un dominio numerable, es válido en cualquier dominio de interpretación no-vacío. Skolem generalizó el principio y lo aplicó a sistemas de axiomas para los números reales.

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