[ot][spam][personal] nothing is impossible
Undescribed Horrific Abuse, One Victim & Survivor of Many
gmkarl at gmail.com
Fri Jun 9 01:40:44 PDT 2023
prove that a+b=3
disprove that a+b=4
# in a proof situation, we are temporarily writing as if the axioms
are always true.
# there are additionally hidden axioms which are the rules used for the proof.
# hence, our conclusion is true only under the conditions that all of the axioms
# and all of the rules are also true.
# this difference can come into play in formal logic where “if” has a
# could use formalization of meaning of + and = with variables and literals
# could use formalization of meaning of = and != and relation to prove
# how did the contradiction arise from constraints on the parts?
# maybe within the meanings of e.g. = .
More information about the cypherpunks