Lady of the Land @Lady@cat.family

@wallhackio @aescling “we use math to do physics” sure. we use english too. so what

@wallhackio @aescling the humanities? history, art, language, philosophy, and maths? these aren’t useless things but fool on you if you think they can prove anything about the world

@wallhackio @aescling i don’t think math is useless i just think it is a humanities

@aescling anyway this does not change the point that it is impossible to prove the accepted body of mathematics, because ZFC is widely accepted and not provable

@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