Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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?


That 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.


There are an infinite number of questions, answers, and topics that were considered nonsense, not written about, and impossible to post to HN.


Countable or uncountable? ;-)


Uncountable. Information complexity obeys no conservation laws.


Not to be obtuse but isn't all of mathematics spawned from a chosen way of making a definition and vacuous truth?


Not 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.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: