minus-squareweker01@sh.itjust.workstoLemmy Shitpost@lemmy.world•Do tell!!!linkfedilinkarrow-up2·2 days agoA set of propositional formulas is satisfiable if and only if all finite subsets of it are satisfiable. The cardinality of a set is always smaller than the cardinality of the set of subsets of the former set. A set cannot contain itself. There is no 1 to 1 mapping from the natural numbers to the real numbers. There is a 1 to 1 mapping from the natural numbers to the rational numbers. Something exists. I cannot tell you what it is but it does exist. Maybe reality is an illusion but even then the illusion exists. linkfedilink
minus-squareweker01@sh.itjust.workstoScience Memes@mander.xyz•wrong againlinkfedilinkEnglisharrow-up10·3 days agoThe fuck is the driving factor of egg prices in the us? It is not just a meme? linkfedilink
minus-squareweker01@sh.itjust.workstoich_iel@feddit.org•ich_iellinkfedilinkarrow-up1·4 days agoIst CB Funk nicht unverschlüsselt? linkfedilink
A set of propositional formulas is satisfiable if and only if all finite subsets of it are satisfiable.
The cardinality of a set is always smaller than the cardinality of the set of subsets of the former set.
A set cannot contain itself.
There is no 1 to 1 mapping from the natural numbers to the real numbers.
There is a 1 to 1 mapping from the natural numbers to the rational numbers.
Something exists. I cannot tell you what it is but it does exist. Maybe reality is an illusion but even then the illusion exists.