Изменения

Перейти к: навигация, поиск

Тьюринг-полнота

487 байт добавлено, 20 март
Доказательство теоремы Геделя о неполноте
Многие эзотерические языки программирования также являются «трясинами Тьюринга» (напр. Brainfuck, Spoon, Malbolge, Whitespace).
==Доказательство теоремы Теорема Геделя о неполноте=={{Теорема|statement= Любая непротиворечивая формальная система аксиом <tex>T</tex>, способная выражать утверждения о натуральных числах и доказывать простые арифметические факты, неполна {{---}} существуют утверждения о натуральных числах, которые она не может ни доказать, ни опровергнуть.}}
==См. также==
Анонимный участник

Навигация