While reading Atten's "On Brouwer" I found a copy of Brouwer's "Consciousness, Philosophy, and Mathematics".

The "law of the excluded middle", the "either this or the contrary" has limited validity, to the point that it can be a fallacy.
Thanks for your attention in this matter.
#brouwer #intuitionism #mathematics #logic #philosophy
Brouwer, L. E. J. "Consciousness, Philosophy, and Mathematics." Proceedings of the Tenth International Congress of Philosophy. Vol. 2. 1949.
http://www.thatmarcusfamily.org/philosophy/Course_Websites/Readings/Brouwer%20-%20Consciousness%20Philosophy%20Mathematics.pdf

When I checking the IEP RSS feed last week I noticed that the article on Intuitionism has been updated.

Since I enjoyed Robert Rosen's introduction to meta-mathematics, like his explanation of U-ist and P-ist schools of mathematics, I decided to make "understanding better" the philosophical work of L.E.J. Brouwer my "holiday project".

https://iep.utm.edu/intuitionism-math/
#mathematics #philosophy #intuitionism

Intuitionism in Mathematics | Internet Encyclopedia of Philosophy

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.

Heyting Day 2025 - KNAW

Symposium in honour of Jaap van Oosten. Models of intuitionism and computability

🇨🇦 #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

Kyne (drag queen) - Wikipedia

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
The Room is Sound, The Objects Abstractions: The Art of Catherine Christer Hennix

With rare performances at Hong Kong’s Empty Gallery, and exhibiting now in Düsseldorf, the polymath has long worked at the thresholds of perception 

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.