//
sign in
Profile
by @danabra.mov
Profile
by @dansshadow.bsky.social
Profile
by @jimpick.com
AviHandle
by @danabra.mov
AviHandle
by @dansshadow.bsky.social
AviHandle
by @katherine.computer
EventsList
by @katherine.computer
ProfileHeader
by @dansshadow.bsky.social
ProfileHeader
by @danabra.mov
ProfileMedia
by @danabra.mov
ProfilePlays
by @danabra.mov
ProfilePosts
by @danabra.mov
ProfilePosts
by @dansshadow.bsky.social
ProfileReplies
by @danabra.mov
Record
by @atsui.org
Skircle
by @danabra.mov
StreamPlacePlaylist
by @katherine.computer
+ new component
ProfilePosts
Loading...
It acknowledges @wtgowers.bsky.social started the first polymath project, but makes it seem like Tao quickly took over. But the polymath projects were collaborative by design, with lots of contributors.
4m
He only learned Lean in 2023. Lots of formalisation has been going on for decades before. The first Big Proof meeting at the INI was in 2017, and Ursula Martin's Social Machine of Maths project was earlier still, and at both there was wide discussion of formalisation and collaboration.
4m
Yes, Tao has been central to lots of projects, and a public figure discussing the technological turn, but not all of the ideas about collaboration are unique insights by Tao.
Some discussion points to get my students talking about proofs and rigour tomorrow.
Some discussion points to get my students talking about proofs and rigour tomorrow.