Pinned
私は全然ツイート見えてるのであれなんだけど、みんな見れてるか知らないが一応アカウントは
Instagram: _impredicativity
discord: alwe_logic
mathtodon: Alwe_Logic@mathtod.online
です。Lineはあったことある人なら訊いてくれれば多分だいたい教えます。
一体いつから
一体いつから
105.8K posts
一体いつから
@Alwe_Logic
初星学園情報学研究科
一体いつから’s posts
渋谷の坂がきつすぎて「坂がきつすぎる……坂 of the year 受賞です」みたいなことを言ってたら一般通行ギャルに「坂 of the yearだってwww」って笑われたのがトラウマになっています。しかも馬鹿にした感じの笑いではなくて、普通に爆笑されたのが余計に……
"trick or treat" (trick ∨ treat) は日本語だと「お菓子くれなきゃいたずらするぞ」(¬trick→treat) と訳されていて、古典論理的な推論がされているんですよねというネタツイを去年したら、自然言語と形式論理を混同するのは良くないと炎上して叩かれたのまだ納得いってない
Replying to
リプライや引用をみていると、大阪人マインド的には誇ったほうが良いらしい(？)ので文化の違いを感じる(なるほどなぁ)
Replying to
一応補足をしておくと、その場には友人といて、友人が坂で腰を痛めていたので茶化すつもりで坂 of the yearといったつもりでした。友人とは全く関係ない人に聞かれていて、その時点で少し恥ずかしくないですか(？)
「『トリックオアトリート』は論理和 or じゃなくて排他的論理和 xor だろ」という指摘はよく見るけど「お菓子くれなきゃいたずらするぞ」に対応する¬treat→trickと同値なのはtrick ∨ treatの方なんだよな……。やっぱり自然言語と数学におけるならばは区別しないといけないということか。
高校生のとき情報の授業でNANDだけでXOR作ってみてくださいね〜みたいなこと言われて愚直にDe Morganとか使ってNANDを64個くらい使って作ったら
付けられたの思い出した (模範解答は4つのもので、それは天才にならないとおもいつかない？って気持ちになった)
付けられたの思い出した (模範解答は4つのもので、それは天才にならないとおもいつかない？って気持ちになった)
プログラミングから定理証明を経て数学に入った人が、私がなんどもこんな感じで証明できるよね、って説明しているのに理解して貰えず、何度も対話を重ねた結果、相手側が排中律を知らなかった、というオチだった話などもある。
正直まだ何をもってして天動説が正しくないと主張されているのかわかってない (座標の取り方とかによらない？正確に表現すると太陽を中心として固定した時のほうがモデルの計算がしやすいとかじゃないの？)
数学を独学でやっている人は、数学科の人たちが行うコミュニケーションや、証明の書き方などの細かいところで相違が出てくるという気持ちがある。間違ってはないんだけど、そういう言い回しはしないよなぁみたいなことが多くなる気がする。
LU分解も特異値分解も線型代数学の基本定理も数学科ではやらないがち
Quote
そくらてす
@7danmoroboshi
Replying to @7danmoroboshi
ちなみに、情報系の人には驚かれるがLU分解は数学系やらない
高校生の頃、試験で「グラフを描け」という形の問題で原点にOを書き忘れて大幅に減点されて腹立った記憶があるんだけど、ふと今思い出し、「採点者は『原点がないので減点！w』とか言いながら採点してたのかな」と思い、赦せるような気がした。
不完全性定理は「理性の限界を示した」などのたくさんの誤解やそれに基づいた発言を生じたことによって, 結果的に, 詳細や数学的な理解をせずに適当な発言をする人が存在することを示したという意味で理性の限界を示したと言える.
Lugendreから「プログラミングにはDRYという誤った思想があって、本当に必要なのは一般化ではなく抽象化なんですよね」みたいなことを聞き、数学でも頑張って使いやすいがよくわからない補題に帰着させて証明するなどがあるよなぁという気持ちになった。
指摘をするときにトゲトゲしい言葉を使うのは基本的に避けようと思ってるんだけど、指摘の曖昧性を排すためになるべく感情的な言葉や、濁した言い方は避けたほうが良いとも思っていて、その2つは相反する訳ではないと思うけれど、両立するのは難しいと度々思う。
これは数学者でも同意しない人がいると思うんだけど証明はアイデアがそのまま形になった意味の分かるものを書くべきという思想があり、正しさの次に追求するべきものだと思っている
数学的な意味で誤った (可能性のある) 記事を有料で公開するという話、もちろん、それによって害を被るかもしれないという点に於いて注意喚起をみんなしているというのは分かるんだけど、本人が金銭問題に苦しんでいそうな背景と、いろんなひとからいろいろと言われているのは少し同情してしまうな
私が数学をやっている理由、単純に面白いからという理由が大きいが、なぜか私しか知らない事実、あるいは知られているのかもしれないが明確に書かれた文献が存在しない事実があり、それは誰かが読める形で残されなければならないという信念があるという理由もある。
LineをPCでやるとき，再起動毎に毎回，ログインを迫られ，しかもパソコンに表示されるQRコードをスマートフォンで読み込む作業を必要とされるのでそろそろ滅んでほしい．Line基本的に見たくないからLineを見なければならない文化も滅んでほしい．
金銭的に少し厳しいので、大学数学の家庭教師の生徒(？)を真面目に募集しています。専門は数学基礎論で、数学基礎論に関係あることなら全般的日対応できますし、初等的な線型代数、微積分、集合、論理なども対応できます。宜しくお願いします。
真面目な面白エピソードを話すと公理を最小限にとどめる謎の研究は結構昔に行われていたんだけど、どの証明もアドホックなものになってるんだけど、最近等式や項書き換え系をグラフとして見たときの単体複体のホモロジーによって最小となる公理の個数が計算できることが分かってきているんですよね。
> 間違えが一つでも見つかったら修正ではなくて非公開にしてミス無くなるまで吟味するのが、サイエンスとしての数学のモラルだと思います。
それは違くない……？たとえどこがで間違えが含まれていたとしても含んでいない途中の議論に価値がある場合もあるし、他の場所に誤りがある場合もあるので、
多くの数学科の場合、多項式環を多項式の成す環として教わるため、形式的というアイデアが分からない可能性がある (実際、多項式環は知っているが、形式的冪級数環で詰まっている学部生とか見たことある)
電車で女子高校生と思われる人が「これだから理系オタクは駄目だよね〜」「数学で文字iがどういう意味を持つかなんてどうでもいいでしょ」「気持ち悪〜」など聞こえてかウゥってなってます
ルビィちゃん！ 何が好き？
チョコミント
チョコミント
チョコミンチョコミンチョコミンチョコミン
ﾁｮｺﾁｮｺﾁｮｺﾁｮｺﾁｮﾁｮﾁｮﾁｮﾁｮﾁｮﾁｮﾁｮchchchchchchchch
「ﾖﾘﾓ あ ・ な ・ た ！」
(フロア熱狂)
って絶対先行研究あると思ったんだけどまだ見つけられてない