So turns out Cantor stole the proof that \\(\mathbb{R}\\) is uncountable from Dedekind https://www.quantamagazine.org/the-man-who-stole-infinity-20260225/
@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/ ]
So turns out Cantor stole the proof that \\(\mathbb{R}\\) is uncountable from Dedekind https://www.quantamagazine.org/the-man-who-stole-infinity-20260225/
"Again" because this happened already once in 2008, when all editors resigned and founded the Review of Symbolic Logic. But that's not diamond open access while the new Philosophical Logic is!
The Journal of Philosophical Logic is dead (again!?). Long live Philosophical Logic! https://www.openlibhums.org/news/875/
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 [β¦]
A rectangular black sticker, with yellow writing, saying βthe only good system is a type systemβ with a centred lower case lambda in a circle.
The anarchist type theorists are in evidence along Riverside Walk in Dundee.
#typetheory #dundee
Picture of (from left) Jack MacIntosh, John Heintz, H.N. Gupta, Alfred Tarski, Brian Chellas, Verena Huber-Dyson, and Bob Woodrow in evening wear.
Here he is in 1982 at Tarski's honorary degree ceremony at the University of Calgary
RIP Robert Woodrow
https://mathmatters.cms.math.ca/en/article/remembering-robert-woodrow/
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 [β¦]
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 [β¦]
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 [β¦]
@df LOC says this is a Robert W. Prevost
@df suspect that's a different Robert Prevost. I don't think Leo was ever at Oxford and in 1985 he was in Peru
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 [β¦]
@AmenZwa
Logisim port to browser "using a version of OpenJDK that runs in WebAssembly"
https://drs.software/blog/announcing-logisim/
https://logisim.app/
via
https://mathstodon.xyz/@regehr@mastodon.social/114385140845729553
Fuck Ayn Rand (1905β1982)
#philosophy
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
@consequently "modal industrial complex"
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 [β¦]
The Mathematical Logic Quarterly is dead. Long live the Zeitschrift fΓΌr mathematische Logik und Grundlagen der Mathematik! https://zml.international/
Notations for neurodiverse learners - extensive discussion of effects of mathematical notation
https://www.sciencedirect.com/science/article/pii/S0732312325000045
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
@isAdisplayName I'm sure it likes watching birds, just like avid birder Curry
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 [β¦]
https://imgs.xkcd.com/comics/lisp_cycles.png
OTD 1960: LISP I Programming manual is published: https://github.com/Luiz-Monad/papers/blob/master/LISP%20I%20Programmers%20Manual%20-%20IBM%20704%20-%201960.pdf
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 [β¦]
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! [β¦]
Truly remarkable stuff in this thread.
Blog of the APA || Philosophy of Language, Landon D. C.Elkind
https://blog.apaonline.org/2025/02/12/philosophy-of-language-landon-d-c-elkind/