[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
nonintuitive meaning

# hard
# could use formalization of meaning of + and = with variables and literals
# could use formalization of meaning of = and != and relation to prove
and disprove

# how did the contradiction arise from constraints on the parts?
# maybe within the meanings of e.g. = .

More information about the cypherpunks mailing list