Besonderhede van voorbeeld: 277608271257747031

Bulgarian

Чърч и Тюринг, независимо един от друг, доказват, че проблемът на Хилберт е нерешим, като по този начин се идентифицира изчислителната сърцевина на непълната теорема.

English

Church and Turing independently demonstrated that Hilbert's Entscheidungsproblem (decision problem) was unsolvable,[1] thus identifying the computational core of the incompleteness theorem.