Besonderhede van voorbeeld: 3273930134230008101

Bulgarian

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

English

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