Lady of the Land @Lady@cat.family

@wallhackio apparently he doesn’t; « Before Ryuk gives the president the notebook, he informs him of a new Death Note rule recently created by the Shinigami King stating that both the seller and buyer of a Death Note will die. Ryuk states that he is willing to leave the Death Note behind if the president dies, so that the Vice President can use it. Since the president values his life over letting his country use the Death Note, he declines possession of it. Instead, he lies and announces to the world that he has the Death Note, but will refuse to use it, believing this will boost his reputation. Ryuk congratulates him on his shrewd decision and leaves with the Death Note. »

@aescling @wallhackio anyway if they think proofs that prove mathematics for humans are insufficient i am curious what other audience for their mathematics they are imagining

@aescling @wallhackio “sure i know about the incompleteness theorems but i still think mathematics can be represented in a CFG”

@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