You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
John Baez (Jan 12 2021 at 20:48)::tada: This Thursday, January 14th, is World Logic Day! :tada:
Please don't contradict yourself on Thursday.
John Baez (Jan 12 2021 at 20:49):There will be a talk in honor of World Logic Day:
John Baez (Jan 12 2021 at 20:51):Abstract: Logic started as a branch of philosophy, going back to Greeks, who loved debates, in the classical period. Computers are relatively young, dating back to World War II, in the middle of the 20th century. This talk tells the story of how logic begat computing, tracing the surprising path from Aristotle to the iPhone. This is a story full of both intellectual drama, as well as real-life drama, with most of the characters dying young, miserable, or both.
The moral: logic makes you die young, miserable, or both.
Eric Forgy (Jan 12 2021 at 20:52):John Baez said:
The moral: logic makes you die young, miserable, or both.
Seems logical :+1: :nerd:
Matteo Capucci (he/him) (Jan 12 2021 at 22:06):John Baez said:
:tada: This Thursday, January 14th, is World Logic Day! :tada:
Please don't contradict yourself on Thursday.
Unless you study instructive logic :grinning_face_with_smiling_eyes:
John Baez (Jan 13 2021 at 00:59)::upside_down:
Eric Forgy (Jan 14 2021 at 19:29):Happy World Logic day! 🥳🎉
John Baez (Jan 14 2021 at 19:41):I'm going to prove something today.