Time to lock in and work on your designs for the ILLC sweaters! You have time until May 25 to submit your work.

About the previous poll

In case you need a direction for the text, you can have a look at how popular various ideas are. To submit your idea(s), just see below.

Here are the answers respondents were able to choose from, in case you have trouble reading them from the chart.

• “Mathematically Mature”
• “Mathematically Immature”
• “$ILLC$”
• “The Notorious BHK”
• “Brouwer Barbie” (+ Brouwer in Barbie aesthetic)
• “ILLC” (replacing Falsum in the Ex Falso Quodlibet rule)
• “Modal Logic // Patrick Blackburn, Maarten de Rijke, Yde Venema” (on blue hoodie)
• “ILLC” (no other writing)
• “Institute for Logic, Language, and Computation”
• “Canonical Model”
• “Logic, not Logistics”
• “PALS (Peano Arithmetic, Löwenheim Skolem)”
• “Maximally Consistent”
• “Sound and Complete”
• “The Sound of Soundness”
• “ILLC est. 1991 Amsterdam”
• (some inference rule, with “ILLC” somewhere in there)
• “WLOG, " (+ something)

Some ideas were not part of the initial pool of options, and were suggested during the poll:

• “⊢ □ (□ (φ → □φ) → φ) → φ”
• “MOL/Master of Logic”
• “The ILLC: where ‘mathematical maturity’ is a lifestyle choice”
• bisimulation-related pun, like “bi(simulation)-curious”
• “Construct, not exclude”
• “⊥ ⊢ ⊤”
• “Will reason for coffee”
• “Inside you there are two wolves. One is ‘mathematically mature’.”
• “WOLG assume mathematical maturity.”
• “With Lots of Grandiosity / With Lots of Grand-idiocy”
• “Possibly competent. Necessarily confused.”

Finally, some ideas were about the design itself rather than about the text content:

• a logician’s face (i.e., Gödel, Heyting, etc.) in the style of this art
• Cool story bro tell it again
• Gödel Machine
• Old ILLC Logo (page 3)
• blue book hoodie

Submitting your idea

You are allowed to mention the ILLC and/or the Master of Logic. The ILLC logo is also fair game, and it may be tweaked freely. You are not allowed to mention the University of Amsterdam.

Don’t be a stranger

Not sure if you are reading the latest news on this project? You can check the list of posts tagged with “Sweaters”, which is always up-to-date. If, on the other hand, you have any suggestions for designs of comments, please email gidon.kaminer@student.uva.nl.