4
Quando (ou deveria) o CS teórico se importar com as provas intuicionistas?
Pelo que entendi (que é muito pouco, por favor, corrija-me onde erro!), A teoria das linguagens de programação geralmente se preocupa com provas "intuicionistas". Na minha própria interpretação, a abordagem exige que levemos a sério as consequências da computação na lógica e na provabilidade. Uma prova não pode existir a …