Хотя вторая теорема означает полный крах программы Гильберта, первая теорема интереснее. Такие утверждения называются неразрешимыми. - Большая Энциклопедия Нефти и Газа



Выдержка из книги Стюарт Я.N. Концепции современной математики


Хотя вторая теорема означает полный крах программы Гильберта, первая теорема интереснее. Такие утверждения называются неразрешимыми.

(cкачать страницу)

Смотреть книгу на libgen

Хотя вторая теорема означает полный крах программы Гильберта,  первая теорема интереснее.  Такие утверждения называются неразрешимыми.