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...