DURING vs DONE 1 Ok: in logic + math, THEORETICALLY, I think you could have an infinite stream of PROOFS (operating over time) which could PRODUCE valid PROPOSITIONS. So instead of having a PROPOSITION and using PROOFS to establish its TRUTH, allow PROOFS to CREATE PROPOSITIONS.

DURING vs DONE 1
Ok: in logic + math, THEORETICALLY, I think you could have an infinite stream of PROOFS (operating over time) which could PRODUCE valid PROPOSITIONS. So instead of having a PROPOSITION and using PROOFS to establish its TRUTH, allow PROOFS to CREATE PROPOSITIONS.

Leave a comment

Your email address will not be published. Required fields are marked *


two × = 4

Leave a Reply