Гедель – (Godel) Курт (1906-78) - логик и математик. Родился вАвстро-Венгрии, с 1940 в США. Труды по математической логике и теориимножеств. Доказал (1931) т. н. теоремы о неполноте (теоремы Геделя), изкоторых, в частности, следует, что не существует полной формальной теории,где были бы доказуемы все истинные теоремы арифметики.
Что такое Гедель? Значение слова gedel, энциклопедический словарь
Значение слова «Гедель» в Энциклопедическом словаре. Что такое гедель? Узнайте, что означает слово gedel - толкование слова, обозначение слова, определение термина, его лексический смысл и описание.
Гедель
Поделиться с друзьями:
Постоянная ссылка на страницу:
Ссылка для сайта/блога:
Ссылка для форума (BB-код):
Связанные понятия:
« Гедда