НАУКА И ПРОИЗВОДСТВО
Популярные слова
Поиск
А Б В Г Д Е Ж З И К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я
ГЁДЕЛЯ ТЕОРЕМАТеоремой в математике называется утверждение, которое доказывается на основе четко излагаемых условий. В 1931 г. американский математик австрийского происхождения Курт Гёдель (Godel, 1906-1978) доказал, что в пределах любой данной области математики всегда имеются утверждения, истинность или ложность которых не может быть установлена с помощью правил и аксиом этой конкретной области математики. Гёдель показал, что любое мыслимое утверждение о числах, содержащихся внутри какой-либо системы, может быть доказано, но только если выйти за пределы этой системы, т. е. если использовать какие-то новые правила и аксиомы. Иными словами, согласно теореме неполноты Гёделя (иногда называемой доказательством Гёделя), все логические системы любой сложности неполны в том смысле, что каждая из них содержит больше истинных утверждений, чем можно доказать с помощью ее собственного набора правил. Согласно этой теореме, компьютеры никогда не достигнут того же уровня интеллекта, который свойствен человеку, потому что пределы знаний компьютера ограничены тем набором аксиом, или "истин", который заложен в машину конструкторами, тогда как люди способны открыть неожиданные понятия и истины. |
|
Вы можете поставить ссылку на это слово: будет выглядеть так: ГЁДЕЛЯ ТЕОРЕМА |