Last Friday, Prof. Wolfgang Spohn (Konstanz) received an honorary doctorate from LMU Munich for his outstanding contributions to various areas of philosophy. He was also instrumental in setting up the MCMP and has always helped us when we needed him. Thank you, Wolfgang!

The IMO is the hardest high school Math test. A lesser known sibling, the IOL (International Olympiad for Linguistics), starts tomorrow! Students are asked to translate lesser-known languages purely using logic. 5 problems, 6hrs. The problems seem absolutely impossible.

We are hiring a postdoc at Universität München's MCMP. Research areas: decision theory, social choice theory, philosophy of action, the study of agency and free will, and/or related themes in the philosophy of mind. Deadline 8 September. Please spread the word. job-portal.lmu.de/jobposting/46d…

A Brief History of Nobody Dresses Well Anymore 🧵

Does astrology work? We tested the ability of 152 astrologers to see if they could demonstrate genuine astrological skill. Here is how the study was designed and what we found (including a result that really surprised me): 🧵

Damn, I need to publish more, even just to increase my chances of this happening.

The bliss of transcendence

Proof theory in the 70's went hard on the notation. Always a pleasure to read Girard's rants.

Ignore me

"I will teach myself mathematics from books." The books:

Ecstatic to be back on the road. This time at this workshop in Vienna. Best part was to see @BenjaminZayton again.

Oh, trust me I live in constant fear

The speaker didn't say "great question"

Wait until Janet has to go through the Post Doc stage

Dale Partridge In a Hogwarts marriage both wizards have free will and speak their minds openly.

A gap in the literature, or did you forget to read that article from 1986?

In 2013, I wrote a book about educational myths. I *didn't* include learning styles. Why? Because even in 2013, so much research had already been published showing they were bunk. Didn't feel worth me going over it all again. It's now 2024. What's in The Economist ?

I drew this jellyfish with mathematical equations.

How good are LLMs at mathematical reasoning? A new paper by researchers at Apple modifies the standard database of Grade School Math (GSM8k) problems in three ways to test how ChatGPT etc perform. 🧵 1/