4 ms·
> which incorporates the notion of time and communication of proof. Certainly constructive logics (typically) incorporate a notion of evidence/proof. But const
by nmrm 11y ago
> which incorporates the notion of time and communication of proof.
Certainly constructive logics (typically) incorporate a notion of evidence/proof. But constructive logics don't incorporate notions of time or communication (of proof, or in general).
- tel 11y agoYeah, to be clear, those notions aren't internalized... they just bring into clarity the need for those processes to happen in the meta level.