Курт Гедель: відмінності між версіями
[перевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
м clean up, replaced: {{Картка:Науковець → {{Науковець за допомогою AWB |
Немає опису редагування |
||
Рядок 23:
}}
'''Курт Ге́дель ''' ({{lang-de|Kurt Gödel}}) (*[[28 квітня]] [[1906]], Брюнн, [[Австро-Угорщина]] (
[[1940]] року емігрував до [[США]].
Рядок 31:
Гедель був логіком і [[філософія науки|філософом науки]]. Найвідоміше досягнення Геделя — це сформульовані і доведені ним [[теореми Геделя про неповноту|теореми про неповноту]], опубліковані [[1931]] р. Одна з них твердить, що будь-яка [[мова]], досить «потужна» для визначення [[Натуральне число|натуральних чисел]] (наприклад, [[логіка другого порядку]] чи [[українська мова]]), є неповною, тобто містить висловлювання, які не можна ані довести, ані заперечити з [[аксіома|аксіом]] мови. Доведені Геделем теореми мають широкі наслідки як для математики, так і для [[філософія|філософії]] (зокрема, для [[онтологія|онтології]] і [[філософія науки|філософії науки]]).
Крім того Геделю належать роботи
== Праці ==
|