Норвежские философы 20-го века

Торальф Сколем Торальф Альберт Сколем – норвежский математик и логик, пионер теоретической информатики.  Разработал арифметику натуральных чисел и доказал ее […]