雑記(2023/2/15の日記)

数学の問題で円周率を3.14だとして計算するのは数学的におかしいという意見に対して「円周率を3.14とした場合でも無矛盾な公理系が作れるかもしれないから作れないと断定するのは理性的な態度ではないので証明すべき」という意見を某所で聞いてめっちゃ面白い発想だと思った(可能かは全然わからんけど)

今日はそれだけ(Twitterに投稿しようと思っていた文をそのまま載せてみる)。