Anything that can be “computed” can be computed by some Turing machine.
Alan Turing, Alonzo Church
Кто-нить когда-нить слышал / знает чо-нить / знает, где почитать, про:
1. "Нормальные алгорифмы" (ок, кажется
это)
2. "Элементарные по Кальмару алгорифмы"
3. Перечисление графов и теорему Пойа (это я в целом нашел, но хочется "для чайников" с примерами
(
Read more... )