We intuitionistic logicians are agnostic about the truth of the statement "for all Propositions P, either P or (not P)". From this, it shouldn't be hard to accept the negation of "gender_binary := for all Persons p, male(p) or female(p)", and since the number of people on this planet is finite, and since you can ask each of them (in finite time) whether there have a binary gender, it should just follow (constructively!) that there are non-binary people. Alternatively, I could just show them a non-binary college (e.g. me?); I suppose there are even many non-binary logicians.

#logic #NonBinary #IntuitionisticLogic #ExcludedMiddle #gender

I was joking with @johncarlosbaez recently about listening to intuitionistic music (instead of classical). Turns out it's real! "In the ... 1970s, a young composer working at the electronic music studio in Stockholm, named at the time Christer Hennix, found that Brouwer’s intuitionist mathematics had a practical yet rigorous philosophical application: for electronic music and the search for elevated experience". https://www.frieze.com/article/room-sound-objects-abstractions-art-catherine-christer-hennix #CatherineChristerHennix #Brouwer #IntuitionisticLogic

Yesterday, I did a presentation on fixed-points in IS5, an intuitionistic variation of the modal logic S5.
Slides available here: https://leonardopacheco.xyz/slides/akiu-2022.pdf

#Logic #ModalLogic #IntuitionisticLogic

#introduction

I've joined up to better explore this place - mostly the mathy bits so I can share things with my students!

Always looking for new things about #stellation, #statistics, #logic, #intuitionisticlogic, #geometry, and #hyperbolicgeometry. Oh, and that magical thing call #sleep that seems to happen to other people!