Ainda não temos significados para "tarefa tratável".
1E Feynman esperava que essa seria uma tarefa tratável.
2Em outras palavras, no caso clássico, a conversão entre processos de prova e objetos de prova é sempre uma tarefa tratável.
Esta colocação é formada por: