Resultats de la cerca
Es mostren 1 resultats
Albert Thoralf Skolem
Lògica
Matemàtiques
Lògic i matemàtic noruec.
Treballà especialment en el camp de la resolució de les equacions diofàntiques, en el de l’estudi axiomàtic dels enters naturals i en el de la caracterització dels automorfismes de les àlgebres simples En lògica, contribuí al desenvolupament de la teoria intuïcionista