3 ms·
I really hate these mathematical technicalities spawned from material implication, chosen way of making a definition and vacuous truth - why can't we even consi
by bitL 3y ago
I really hate these mathematical technicalities spawned from material implication, chosen way of making a definition and vacuous truth - why can't we even consider some questions to be marked as non-sense/non-relevant like in relevance logic?
- deleted 3y ago[deleted]
- Cruncharoo 3y agoNot to be obtuse but isn't all of mathematics spawned from a chosen way of making a definition and vacuous truth?
- bitL 3y agoNot really. One could argue some math is innate and we are just rediscovering it. See the disconnect between natural language and math which happened early 20th century because of material implication bringing vacuous truth, leading to "impedance mismatch". Medicine is still using counterfactuals precisely because of weirdness introduced by Russell in order to make all Boolean values defined for inference.
- LudwigNagasena 3y agoThat has nothing to do with relevance logic. Someone has written a smart-ass answer about transfinite ordinals to a question about infinity; and people upvoted it for right or wrong reasons. To me personally the answer looks witty but misleading.
- bentcorner 3y agoThere are an infinite number of questions, answers, and topics that were considered nonsense, not written about, and impossible to post to HN.
- bitL 3y agoCountable or uncountable? ;-)
- otabdeveloper4 3y agoUncountable. Information complexity obeys no conservation laws.