not about income tax forms, but about logical reasoning. Deductive Proofs as chains from a point to another; the chain is only as solid as its weakest link. [Now, when a chain is broken, its parts may be reused, and some broken links may be replaced; some may be redundantly placed in advance, to strengthen the chain]. Tautologies. Even to explore them, we need energy, and storing information. Ultimately, to say more than tautologies, we need make hypotheses.
This page is linked from: EAI OnFormalReasoning Ethics and Information