text: Но этот тезис, касаясь области эффективных методов (то есть области процедур определенного вида, которые способен выполнять не обеспеченный помощью машин человек), не затрагивает процедуры, которые способны выполнять машины, даже в соответствии с «явно сформулированными правилами».