Em seu artigo de oficina de 1999 "Um modelo métrico do PCF" , Martín Escardó mostrou que é possível dar uma interpretação simples do PCF na categoria de espaços ultramétricos completos e mapas não expansivos.
Ele mostrou que esse modelo era adequado e que poderia modelar a adição de uma construção de tempo limite (ou seja, um operador que executaria seu argumento por algum número finito de etapas e que produzisse uma resposta ou sinalizasse um erro se não terminasse dentro de um prazo). o prazo). Ele então sugeriu que seria natural investigar se o modelo de métrica era totalmente abstrato em relação aos tempos limite do PCF +.
- Alguém já investigou isso e, em caso afirmativo, qual é a resposta?
- Os tempos limite do PCF + realizam as mesmas funções que as máquinas de Turing, inclusive em tipos mais altos?
(Como um aparte, como você coloca acentos no texto? Abandonei um sotaque do nome e do sobrenome dele. EDIT: Nome corrigido. Estou deixando esse parênteses para que os comentários no post continuem a fazer sentido.)