Toby Meadows
tobymeadows.bsky.social
logician: I do math that mathematicians think is philosophy; and philosophy that philosophers think is math logic, philosophy of math, set theory lps uci https://sites.google.com/site/tobymeadows
👤 Joined on 11 August 2023
844
Followers
213
Following
162
Total Posts
📜 Kullanıcı Geçmişi
- 11 Ağu 2023, 17:21
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@tobymeadows.bsky.social - 10 Kas 2023, 17:33
🔄 Profil bilgileri güncellendi
🚫 Blokladığı Kullanıcılar
Bu kullanıcının blokladığı kullanıcı bulunamadı.
❤️ Beğendiği Gönderiler
Bluesky, pray for me www.cmu.edu/dietrich/new...
Show Post
a fun moment in the history of logic is that sheffer's axiomatization of boolean algebras in terms of a single operator was cool and important enough to get published in the trans. of the ams, and a hundred years later it's mostly just a neat aside you show students in between real work
Show Post
The world is a complicated, messy, and sometimes dangerous place.
Show Post
The Lewis thing is this philpapers.org/rec/LEWLTB
Show Post