7. Теорема Гёделя заключалась в
следующем:
в любой теории можно доказать как
истинность этой теории, так и её
ложность одинаково верно, так как
любая теория основана на множестве
аксиом ,а значит аксиомы могут быть
как истиной, так и ложью.
21. В 2002 году Алан Тьюринг был признан
«одним из 100 величайших британцев в
истории».
Одна из ежегодных наград Ассоциации
вычислительной техники
называется Премия Тьюринга.
В честь Алана Тьюринга назван астероид
(10204) Тьюринг.
22. В Манчестере в 2001 году
установлен памятник Алану Тьюрингу.
В честь учёного названа Премия Тьюринга — самая
престижная в мире награда в области информатики.
•