Lady @Lady@cat.family

@aescling “rigor” sounds to me like “this proof has aesthetics which i don’t like so i will make a different proof which has aesthetics i do like” which is a task you can do but it does not prove anything

@aescling what do you mean by “rigor” lol either it is proven or it is not proven

@aescling oh sorry, anything which makes use of first-order logic

@aescling i thought mathematicians already proved 100 years ago that it is impossible to rigorously formalize anything

@aescling …lean?

@aescling oh do you have zulip takes

@SportsGoblin @Satsuma @wallhackio in fairness when i said golf i was thinking of the frisbee kind

@Satsuma @wallhackio @SportsGoblin in golf you score points by running to the same side

@Satsuma @wallhackio @SportsGoblin yeah it's really just footballs that are like this baseballs are different

@wallhackio @SportsGoblin @Satsuma i guess if you watch footy the difference is nobody scores

@wallhackio @SportsGoblin i read this to @Satsuma and they said “this could describe any sport; that’s how they all work”

@wallhackio are you saying you have some or you want some