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

SKOLEM, THORALF (1887-1963)

Nac. en Noruega fue profesor en Oslo y «profesor visitante» en la Universidad de Notre Dame. Es autor de varios trabajos fundamentales en metalógica y metamatemática. Su más cono­cida contribución es una reelaboración, y una prueba más simplificada, de un teorema de Löwenheim, de 1915. A tal efecto, Skolem presentó la llamada «forma normal» en proposiciones del cálculo de predicados de primer orden (cálculo cuantificacional ele­mental). Tal forma normal consiste en colocar todos los cuantificadores al comienzo de una expresión, de tal modo que los cuantifieadores existenciales precedan a los universales y ambos precedan a una expresión libre de cuantificadores, y de tal modo también que si hay sólo cuantificadores existenciales o sólo universales se encuentran al principio y si­guiéndose uno al otro en el orden indicado. Skolem probó el teorema según el cual, dada una proposición del cálculo de primer orden, U, hay una

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