Richard Zach
banner
richardzach.org
Richard Zach
@richardzach.org
Logician, historian and philosopher of logic, mathematics, and computability

Copied to @richardzach.org on Bluesky. Follow @ap.brid.gy so I can follow you back

[bridged from https://mathstodon.xyz/@rrrichardzach on the fediverse by https://fed.brid.gy/ ]
Reposted by Richard Zach
In case you missed it, Quote Posts are live on mastodon.social and mastodon.online — let us know what you think!

This feature has been a long time coming because we wanted to take the time to do it right. Part of that process was sharing our work and getting feedback along the way […]
Original post on mastodon.social
mastodon.social
September 30, 2025 at 4:03 PM
Reposted by Richard Zach
The anarchist type theorists are in evidence along Riverside Walk in Dundee.

#typetheory #dundee
July 11, 2025 at 12:05 PM
# Remembering Robert Woodrow Feature June 20, 2025 Issue Feature June 2025 (Vol. 2, No. 24) Issue Contents June 20, 2025 Issue : Vol. 2, No. 24 Feature Remembering Robert Woodrow CMS Meetings 2025 CMS Winter Meeting, Dec 5-8 | Save the Date! 2025 CMS Winter Meeting | Call for Education Sessions 2025 CMS Winter Meeting | Call for Scientific Sessions Announcements International Congress of Mathematicians | July 23 - 30 , 2026 — ICM Call for Proposals: BIRS-MATRIX Tandem Workshop (November 22-27, 2026) Proceedings A: Mathematical theory and applications of multiple wave scattering 2025 CMS Summer Ottawa Math Camp | Registration Now Open Calls for Nominations Call for Nominations: 2026 David Borwein Award | Deadline November 15, 2025 Call from the International Prize Committee — Javad Mashreghi Call for Nominations: 2026 Research Prizes | Deadline September 30, 2025 Call for Nominations: Editor-in-Chief (EIC), Crux Mathematicorum | Deadline July 15, 2025 CMS Student Committee Connect with us on Discord! — Student Committee of the CMS The Canadian Mathematical Society (CMS) is deeply saddened to announce the unexpected passing of Dr. Robert Woodrow on June 10, 2025, shortly after returning to Calgary from the CMS Summer Meeting. He was deeply engaged in every facet of the academic community throughout both his career and retirement. Dr. Woodrow was involved with the CMS for over 45 years, serving in many capacities and most recently, and for over ten years, as the Chair of the Canadian Open Mathematics Challenge (COMC). He was a pillar whose dedication, insight, and kindness left an enduring and profound impact on all of us. Members of our community have shared their heartfelt memories of him: “ _Robert Woodrow was a true asset to the CMS and a dedicated member since 1981. His commitment was further demonstrated through his invaluable contributions to the Board of Directors and numerous committees._ _Robert dedicated the last decade of his efforts specifically to competitions and the student committee, particularly as a pivotal chair of the COMC committee. He generously invested countless hours in this competition, through proctoring and rigorously vetting exams, leading the COMC committee, and providing exceptional leadership for our largest math competition._ _Robert will be truly missed and remembered fondly by all staff and everyone who had the privilege of working with him. We will miss his dedication and unwavering enthusiasm for math competitions. We’ll also deeply miss his presence at CMS Meetings; he was a truly dedicated champion of the CMS_.” – Dr. Termeh Kousha, Executive Director, Canadian Mathematical Society “ _Dr. Robert Woodrow was a very special colleague and a tremendous friend of the Canadian Mathematical Society. As a former Executive Director of the CMS, I was fortunate to work with Robert in many different ways. He was a member of the CMS for more than 45 years and he was always ready to help whenever asked. His tireless efforts, infectious personality, generosity and commitment to the work of the CMS was an inspiration to all. Of particular note was his service as Chair of the Canadian Open Mathematics Challenge Committee, the Faculty Advisor to the CMS Student Committee, a member of the CMS Advancement of Mathematics Committee and as the Olympiad Editor of Crux Mathematicorum. Robert was awarded the Society’s Distinguished Service Award in 2010 and appointed a CMS Fellow 2018. His dedication and unwavering commitment to the Society continued until only a few days before his untimely passing on June 10, 2025. The Society has lost one of its most respected and valued members and I have lost a remarkable friend. It is hard to imagine the CMS without Dr. Robert Woodrow. He will be greatly missed by all who knew him_.” – Dr. Graham Wright, Former Executive Director of the Canadian Mathematical Society “ _Robert was truly an extraordinary, kind and caring person, who spent his life to his last hours serving the mathematical community, in particular its younger members. His actions clearly came from his heart. I am extremely grateful to have had the honour to work with him and benefit from his wisdom and experience in administering the COMC and other competitions. He was very generous with his time and always willing to help ensuring each student was treated fairly. He clearly enjoyed what he did and it was a joy to work with him_.” – Dr. Dorette Pronk (Dalhousie), Chair, Math Competitions Committee “ _A gregarious host, a lively and generous table companion, a stimulating research collaborator, and a colleague with a decades-long dedication to math contests and other math enrichment activities: Robert was each of these, and in each case no-one could have asked for more._ ” – Dr. Bill Sands (University of Calgary) The CMS sends its heartfelt condolences to Dr. Woodrow’s family and friends. His absence leaves a void that will be deeply felt across our community, and his legacy of generosity, leadership, and unwavering dedication to mathematics will continue to inspire us for many years to come. **An extended tribute to Dr. Woodrow will be featured in the September issue of the _CMS Notes_. If you have photographs or personal memories you would like to contribute, please email them to ****communications@cms.math.ca****.** **For more information, please contact:** Dr. Claude Laflamme Professor Emeritus University of Calgary laflamme@ucalgary.ca| Dr. Bill Sands Professor Emeritus University of Calgary sands@ucalgary.ca| CMS Executive Office cms@cms.math.ca ---|---|--- Share on Facebook Share on email Post this on X/Twitter Instagram Send to printer
mathmatters.cms.math.ca
June 30, 2025 at 11:46 PM
Reposted by Richard Zach
Preparing for Fall 2025

Most of the Open Logic textbooks have seen lots of changes from the versions currently available in hardcopy, so it's time to refresh those to Fall 2025 editions. These will incorporate all the corrections reported by readers since at least 2023 and in many cases going […]
Original post on mathstodon.xyz
mathstodon.xyz
June 25, 2025 at 9:55 PM
Preparing for Fall 2025

Most of the Open Logic textbooks have seen lots of changes from the versions currently available in hardcopy, so it's time to refresh those to Fall 2025 editions. These will incorporate all the corrections reported by readers since at least 2023 and in many cases going […]
Original post on mathstodon.xyz
mathstodon.xyz
June 25, 2025 at 9:55 PM
Reposted by Richard Zach
Last week was all type theory, all the time. *This* week I get to change gears, and take part in the 50th Annual Conference of the Society for Exact Philosophy. I’m especially looking forward to Day 2, which is devoted to the work of our sorely-missed colleague, Aldo Antonelli, who passed away […]
Original post on hcommons.social
hcommons.social
June 16, 2025 at 1:56 PM
Reposted by Richard Zach
In the U.S., there's a "secret" form of media: radio reading services, where volunteers read aloud the text of newspapers, books and magazines. These used to be broadcast on "sidebands" — little hidden side pockets of public radio or TV stations' airwaves — for which folks needed a special radio […]
Original post on flipboard.social
flipboard.social
April 28, 2025 at 10:55 PM
Reposted by Richard Zach
Fuck Ayn Rand (1905–1982)

#philosophy
April 19, 2025 at 4:00 AM
Reposted by Richard Zach
Absolutely thrilled to be delivering this year's Philosophy of Mathematical Practices Masterclass at Vrije Universiteit Brussel, 18-20 June. Grad students and postdocs, come and talk with me about materials, institutions, and critical contexts!
https://sites.google.com/view/mc-pmp-brussels-2025
MC-PMP-Brussels-2025
About
sites.google.com
February 24, 2025 at 2:25 PM
Reposted by Richard Zach
Today the editorial board of _Mathematical Logic Quarterly_ (pub'd by @Wiley) resigned and launched a new #diamondoa journal on the same topics.
https://open-access.network/services/news/artikel/ruecktritt-des-mlq-editorial-teams

See their open letter announcing their resignations and plans for […]
Original post on fediscience.org
fediscience.org
April 7, 2025 at 2:15 PM
The Mathematical Logic Quarterly is dead. Long live the Zeitschrift für mathematische Logik und Grundlagen der Mathematik! https://zml.international/
ZML - Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
ZML: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik is an electronic Diamond Open Access research journal in mathematical logic publishing original research papers in all areas of mathematical logic.
zml.international
April 7, 2025 at 10:26 PM
Notations for neurodiverse learners - extensive discussion of effects of mathematical notation

https://www.sciencedirect.com/science/article/pii/S0732312325000045
March 29, 2025 at 3:21 PM
I wrote up what I learned converting an open textbook in LaTeX to HTML and making it accessible https://richardzach.org/2025/03/accessible-open-textbooks-in-math-heavy-disciplines/ #texlatex #oer #accessibility #blind
March 26, 2025 at 7:54 PM
Reposted by Richard Zach
David Johansen, who fronted the legendary 1970s proto-punk band New York Dolls and also recorded under the pseudonym Buster Poindexter, has died at 75, his representative confirmed. Johansen was the subject of a documentary from directors Martin Scorsese and David Tedeschi, “Personality Crisis […]
Original post on flipboard.social
flipboard.social
March 1, 2025 at 7:58 PM
Reposted by Richard Zach
Next week, I’m heading off to North America for a few talks. (I’d committed to these talks before last year’s election and I have mixed feelings about the trip, but I’m going, nonetheless.)

If you're in the LA area, in or around Calgary, or New York, and you’re into philosophical logic, why […]
Original post on hcommons.social
hcommons.social
February 26, 2025 at 8:08 PM
Reposted by Richard Zach
I'm delighted to share that next month, I’ll be in Canada, giving the 2024-25 Calgary Mathematics & Philosophy Lecture. I’ll be talking about mathematical practice, proof assistants, and meaning. If you’re in that part of the world on March 13, I’d love to see you there! […]
Original post on hcommons.social
hcommons.social
February 16, 2025 at 2:35 PM
Reposted by Richard Zach
Truly remarkable stuff in this thread.
Here’s a fun game: what actor, living or dead, would play your favourite or other philosopher in a popular biopic?

I’ll go first: Anthony Hopkins as Socrates. #PhilosophyBiopics
February 16, 2025 at 7:31 AM
Reposted by Richard Zach
Free download
Abstractionism
Cambridge Core - Philosophy of Science - Abstractionism
www.cambridge.org
February 10, 2025 at 2:38 PM
Reposted by Richard Zach
Alexios Mantzarlis, who is the director of the Security, Trust, and Safety Initiative at Cornell Tech and part of the team that shepherded Meta's now-canceled fact-checking program, has fact-checked Mark Zuckerberg's fact-checking announcement. Here's his story for Nieman Labs. "There is so […]
Original post on flipboard.social
flipboard.social
January 9, 2025 at 11:40 PM
Reposted by Richard Zach
People often ask me what I think about the philosophical gourmet report (the most well-known ranking of philosophy departments). So, I thought it might be worthwhile to put together some thoughts on it.

tldr: They are on the whole negative, but I think some positives get overlooked.
December 13, 2024 at 4:21 PM