Австрийский логик и математик (1906–1978), выдвинул и обосновал, в частности, теоремы о неполноте и непротиворечивости формальных систем
7
Математическое понятие, обобщающее понятие евклидова пространства для n-мерных случаев. Выведено немецким ученым Д. Гильбертом (1862–1943).
Вы читаете «Если», 1995 № 07
