I just use constructive proofs, which creates or gives a method of creating an object.
I use intuitionistic logic by not using the law of the excluded middle where either the proposition of its negation is true.
I use the law of non-contradition and law of identity.
Or, maybe I just use a lot of fuzzy logic, which utilizes data that is vague or imprecise.
I found a reason to continue.
Apr 21, 2021
Apr 21, 2021 at 1:35 AM UTC
I just use constructive proofs, which creates or gives a method of creating an object.
I use intuitionistic logic by not using the law of the excluded middle where either the proposition of its negation is true.
I use the law of non-contradition and law of identity.
Or, maybe I just use a lot of fuzzy logic, which utilizes data that is vague or imprecise.
I found a reason to continue.
autodidactic
Request permission to use this poem