@thomasfuchs @prometheus @craigmaloney Do intuitionists use I Can’t Believe It’s Not Not Butter?
(Joke explanation: Intuitionistic logic is a form of formal logic in which ¬¬P (not not P) is strictly weaker than rather than equivalent to P.)
@thomasfuchs @prometheus @craigmaloney Do intuitionists use I Can’t Believe It’s Not Not Butter?
(Joke explanation: Intuitionistic logic is a form of formal logic in which ¬¬P (not not P) is strictly weaker than rather than equivalent to P.)
This xkcd has gotten more relevent over time.
Multidisciplinary nerd. Independent catholic. Extremely cool and funny. Some labels for the kind of human I am: #Christian #trans #lesbian #maths #haskell #hacker #ActuallyAutistic #ADHD #anarchism #antifa #syndicalism. Learning #RollerDerby.??????? ?? ???????If you don’t have pronouns in your bio, I probably won’t approve your follow request.#nobot
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.