Изменения

Теория формальных языков

1 байт убрано, 00:13, 10 октября 2014

→‎Теория вычислимости

*[[Неразрешимость исчисления предикатов первого порядка]]

*[[Неразрешимость проблемы существования решения диофантова уравления в целых числах]]

*[[Теорема Райса-Шапиро]]

3622

правки