Pinned
私は全然ツイート見えてるのであれなんだけど、みんな見れてるか知らないが一応アカウントは
Instagram: _impredicativity
discord: alwe_logic
mathtodon: Alwe_Logic@mathtod.online
です。Lineはあったことある人なら訊いてくれれば多分だいたい教えます。
学びたい、ことばかり
学びたい、ことばかり
102.6K posts
学びたい、ことばかり
@Alwe_Logic
初星学園数学科Joined August 2017
学びたい、ことばかり’s posts
"trick or treat" (trick ∨ treat) は日本語だと「お菓子くれなきゃいたずらするぞ」(¬trick→treat) と訳されていて、古典論理的な推論がされているんですよねというネタツイを去年したら、自然言語と形式論理を混同するのは良くないと炎上して叩かれたのまだ納得いってない
「『トリックオアトリート』は論理和 or じゃなくて排他的論理和 xor だろ」という指摘はよく見るけど「お菓子くれなきゃいたずらするぞ」に対応する¬treat→trickと同値なのはtrick ∨ treatの方なんだよな……。やっぱり自然言語と数学におけるならばは区別しないといけないということか。
Age-restricted adult content. This content might not be appropriate for people under 18 years old. To view this media, you’ll need to log in to X. Learn more
プログラミングから定理証明を経て数学に入った人が、私がなんどもこんな感じで証明できるよね、って説明しているのに理解して貰えず、何度も対話を重ねた結果、相手側が排中律を知らなかった、というオチだった話などもある。
正直まだ何をもってして天動説が正しくないと主張されているのかわかってない (座標の取り方とかによらない？正確に表現すると太陽を中心として固定した時のほうがモデルの計算がしやすいとかじゃないの？)
数学を独学でやっている人は、数学科の人たちが行うコミュニケーションや、証明の書き方などの細かいところで相違が出てくるという気持ちがある。間違ってはないんだけど、そういう言い回しはしないよなぁみたいなことが多くなる気がする。
LU分解も特異値分解も線型代数学の基本定理も数学科ではやらないがち
Quote
そくらてす
@7danmoroboshi
Replying to @7danmoroboshi
ちなみに、情報系の人には驚かれるがLU分解は数学系やらない
高校生の頃、試験で「グラフを描け」という形の問題で原点にOを書き忘れて大幅に減点されて腹立った記憶があるんだけど、ふと今思い出し、「採点者は『原点がないので減点！w』とか言いながら採点してたのかな」と思い、赦せるような気がした。
不完全性定理は「理性の限界を示した」などのたくさんの誤解やそれに基づいた発言を生じたことによって, 結果的に, 詳細や数学的な理解をせずに適当な発言をする人が存在することを示したという意味で理性の限界を示したと言える.
Lugendreから「プログラミングにはDRYという誤った思想があって、本当に必要なのは一般化ではなく抽象化なんですよね」みたいなことを聞き、数学でも頑張って使いやすいがよくわからない補題に帰着させて証明するなどがあるよなぁという気持ちになった。
指摘をするときにトゲトゲしい言葉を使うのは基本的に避けようと思ってるんだけど、指摘の曖昧性を排すためになるべく感情的な言葉や、濁した言い方は避けたほうが良いとも思っていて、その2つは相反する訳ではないと思うけれど、両立するのは難しいと度々思う。
これは数学者でも同意しない人がいると思うんだけど証明はアイデアがそのまま形になった意味の分かるものを書くべきという思想があり、正しさの次に追求するべきものだと思っている
LineをPCでやるとき，再起動毎に毎回，ログインを迫られ，しかもパソコンに表示されるQRコードをスマートフォンで読み込む作業を必要とされるのでそろそろ滅んでほしい．Line基本的に見たくないからLineを見なければならない文化も滅んでほしい．
真面目な面白エピソードを話すと公理を最小限にとどめる謎の研究は結構昔に行われていたんだけど、どの証明もアドホックなものになってるんだけど、最近等式や項書き換え系をグラフとして見たときの単体複体のホモロジーによって最小となる公理の個数が計算できることが分かってきているんですよね。
> 間違えが一つでも見つかったら修正ではなくて非公開にしてミス無くなるまで吟味するのが、サイエンスとしての数学のモラルだと思います。
それは違くない……？たとえどこがで間違えが含まれていたとしても含んでいない途中の議論に価値がある場合もあるし、他の場所に誤りがある場合もあるので、
金銭的に少し厳しいので、大学数学の家庭教師の生徒(？)を真面目に募集しています。専門は数学基礎論で、数学基礎論に関係あることなら全般的日対応できますし、初等的な線型代数、微積分、集合、論理なども対応できます。宜しくお願いします。
電車で女子高校生と思われる人が「これだから理系オタクは駄目だよね〜」「数学で文字iがどういう意味を持つかなんてどうでもいいでしょ」「気持ち悪〜」など聞こえてかウゥってなってます
告白する前に
1. まず好きという感情なにか？
2. もし好きだとして、それは本当に恋愛感情か？
3. 相手側にとって関係性の変化がメリットになるか？
4. 相手を幸せにできる自身があるか？
とか考え始める人間なので告白とかできた試しないですね