Sapere e inventare

«Ce que j'ai appris, je l'ai oublié; ce que je sais, je l'ai inventé»



(Nicolas de Chamfort, patafisico ante litteram)

Isomorfismi

«Finally, the expression εφ(M) is a ‘miracle of type φ.’ If M : ⊥ then M is “the thing which it is not.” Once we have achieved the impossible, we should be able to whatever we wish.»

(Sorensen & Urzyczyn, Lectures on the Curry-Howard Isomorphism).