Left & Right
2025
Brush pen ink on Paper (from an old diary)

Intuitive Abstract
24.03.2025

#IntuitiveArt #abstract #abstractart #intuitionism #abstractdrawing #abstractexpressionism #intuitivedrawing #sketch #sketchbook #sketching

I'm pleased to announce that the Heyting Day will be held in Amsterdam on Friday 14 March 2025.

Its theme will be models of #intuitionism and #computability and mark the retirement of Jaap van Oosten.

The invited speakers are:
- @andrejbauer (Ljubljana)
- Andy Pitts (Cambridge)
- Sebastiaan Terwijn (Nijmegen)
- Jaap van Oosten (Utrecht)

Attendance is free. Sign up and more details here: https://www.knaw.nl/en/heyting-day-2025

The attached poster is thanks to the amazing @jacobneu.

🇨🇦 #Canadian 🏳️‍🌈 #DragQueen & #Math Communicator Kyne Santos talks with #ScienceQuickly & #ScientificAmerican:

Is Math Part of #Nature or an Invention of the #Mind?

…"One school of thought is called #intuitionism, which is the idea that math is all in our heads, and any #mathematical #truth is only true insofar as we believe that it’s true"…

🔗 https://en.wikipedia.org/wiki/Kyne_(drag_queen)
🔗 https://www.scientificamerican.com/podcast/episode/breaking-down-what-math-really-is-with-drag-queen-kyne-santos/ 27 Sep 2024

#Community #TimeTravel #Research #queer #science #lgbtq #numbers #philosophy #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 #Intuitionism

Hilbert and Gödel walk into a bar. Hilbert begins to tell the bartender exactly how he wants his drink prepared and all its ingredients. While starting to prepare it, the bartender asks Gödel if he wants anything. “I’m good,” Gödel says. “Thanks to him, I’ve finished the mental construction of the drink.”

#mathematics #formalism #intuitionism #humor #ontology

@bryankam @terrygrundy @philosophy @sophisteuein

Yes, #Brouwer and #intuitionism is important at the interface between #mathematics and #philosophy - please remind me of pointing you to some #Putnam when you're there.