(Godel) Курт (1906-78) - логик и математик. Родился вАвстро-Венгрии, с 1940 в США. Труды по математической логике и теориимножеств. Доказал (1931) т. н. теоремы о неполноте (теоремы Геделя), изкоторых, в частности, следует, что не существует полной формальной теории,где были бы доказуемы все истинные теоремы арифметики.






Ссылка на выделенный текст