Чего не могут вычислительные машины: различия между версиями

Содержимое удалено Содержимое добавлено
м clean up, removed: Категория:Информатика с помощью AWB
Строка 134:
силы. Например, если рассматривать многомерные ленты (машина движется по плоскости либо в пространстве,
разбитом на кубики, либо, скажем, даже в десятимерном пространстве), то такие машины можно смоделировать на одномерной.
 
 
При этом вначале строится какая-либо простая змейка в
Строка 383 ⟶ 382 :
Если само множество, и его дополнение перечислимы, то множество разрешимо.
{{Акмар}}
 
 
<b> Доказательство.</b>
Строка 476 ⟶ 474 :
с тем, кто так говорит: просто игнорируйте его в данном отношении, поскольку убеждённому невежде хоть
кол на голове теши…
 
 
А напоследок заметим, что знание границ знания подразумевает (в идеале) и знание границ границ. Поэтому следующей
Строка 499 ⟶ 496 :
# {{Note|Minsky}} — Нобелевскую премию Минский получил за то, за что его лучше бы было публично [[w:Порка|выпороть]]: за научную демагогию, связанную с применением теории алгоритмов к психологии; но эта книга показывает, что получил её в данном случае действительно выдающийся человек.
 
[[Категория:Алгоритмы]]
[[Категория:Информатика]]
{{Готовность|75%}}
 
[[Категория:{{Темы|Информатика]]}}
 
[[Категория:Алгоритмы]]