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 conocida 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 elemental). 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 siguié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
