@htmath1 profile picture
htmath @htmath1
Joined September 2020
  • Tweets 27,658
  • Following 7
  • Followers 26
868 Photos and videos
Pinned Tweet
htmath@htmath1
Apr 16
(ZF が無矛盾なら)ZF-Inf から Inf は独立。 哲学的には 「完成無限の存在は 論理から独立」。 ZF-Inf |- (Inf→φ)&(¬Inf→ψ) 数学的に φが 定理であろうとも 　物理的には ψが主役。
htmath@htmath1
Apr 16
数学的正しさ。「公理系Tに対して φが証明できる。」 　 T |- φ 物理的正しさ。有限観測と整合する。 　Hom_C(a,b)=Hom_IndC(ya,yb) 　Cに根拠を持たない IndC的存在は「理想化・架空」。
1
3,152
特異点解消って言っても、いろいろあるね。
1
昔は きっちり定量化してないから 極限で間違った。 今は 定量化はしているものの 　完成無限を勝手解釈するから 　せっかく 定量化していても 　　結局「完備性・極限を勘違い」している。 今も昔も「極限の勘違い」は形が変わったまま残っている。
1
7
「頭がわるい」とは、無知であることではなく、自らの間違いを修正できないことなのかもしれない。｜杉田俊介 note.com/sssugita/n/n97faccb…

「頭がわるい」とは、無知であることではなく、自らの間違いを修正できないことなのかもしれない。｜杉田俊介

「頭が悪い」という言葉は、できれば使いたくない言葉だ。あまりに乱暴で、能力主義的な響きを帯びているからである。 けれども、Twitter（X）を眺めていると、この言葉を別の意味で使いたくなる瞬間がある。 ここでいう「頭が悪い」とは、何かを知らないことではない。知識の量や学歴の問題でもない。むしろ、ろくに知らないことについて、さっさと断定してしまうこと。わからないはずのことを、あたかも最初から...

note.com
11
58
6,350
大学数学ですら・・・
ゆな@xxlovelace
Jun 14
「書いてないことを読み取らない」「想像で補完しない」「事実と自分の意見は分ける」 これもう人生で何度言ったかわかんないので、小学校で全員にしっかり教えるべきだと思う…
6
論理飛躍の言い訳に使わないなら、その通り。 全部を「追いかける」必要はない。 むしろ『前提をしっかり見つめて』その前提が成立しないとどうなるか？から新しい事が始まる気がするけどね。
ぽんぎ@Pongi_0514
Jun 6
この方の記事に書いてある言葉にかなり救われた気がする。(鵜呑みにしているのかもだけど) 最近、このギャップでかなり苦しんでた。やっぱり、「どう考えても大丈夫だろこんなの」という意識は大事なんだな。すべてを厳密にするのは無理。もっと意識を緩くするべきだな。 mathlog.info/articles/7ytlfD…
1
32
言語自体は高級言語なはずだけど 　体感はマクロアセンブラでプログラミングしている気分。
SnO₂WMaN@SnO2WMaN
9h
学会やSNSをみていると思いのほか世の数学屋さんがLeanを知っており、その形式検証に大きな期待を寄せているということが分かってきて、私も少しながら皆さんに周知してきた甲斐があったというものです。なので2026年後期は如何にLeanのコーディングが大変で苦痛を伴うかを世に知らしめていく(豹変)
27
数学でさえ「何を前提にしている」が曖昧なまま「当然」な人達が多い。 数学においては 　前提が自覚されていれば、そこから理論を提唱するのはいい。 こちらが「前提を提示」しても「思い込みの当然に反する」ので「お前の前提は間違っている」という人が多い。
TCN@TCN_Kyoto_TPU
Jun 14
まず前提が間違ってますよと丁寧に伝えるお仕事をあちこちでしているのですが、すごい勢いでまちがった前提から理論を提唱する人がいて困ってるんですよね。前提の方を丁寧に議論するならこちらも楽しいのですが…。
2
2
552
ZF-Inf ¬Inf では 数学 書きにくいよなぁ、とは思っていたけれど 　圏論で書けるじゃん。 ∞-圏(∞とは書いてるけどこっちは潜在無限) が「疑似」高階性。
15
カントール以降に 　真実の実数が発見された わけではなく 　過剰に完備性を重視 するようになってしまった。
htmath@htmath1
22h
数学が「自然数とは何なのか」などがおろそか（数学基礎論含めて）なのはなぜなんだ？ カントール以降 　余計な直感に狂わされてる 時代な気がするなぁ・・・
8
『無限』が　雑過ぎないか？
htmath@htmath1
17h
圏論の 　FinOrd を von Neumann 読みしたり 　FinSet を ゲーデル符号読みして 自然数と同一視するなら　まだわかる。 『ZF ω を ℕ と書いて 自然数でございます』 というのはわからない。
7
圏論の 　FinOrd を von Neumann 読みしたり 　FinSet を ゲーデル符号読みして 自然数と同一視するなら　まだわかる。 『ZF ω を ℕ と書いて 自然数でございます』 というのはわからない。
23
数学が「自然数とは何なのか」などがおろそか（数学基礎論含めて）なのはなぜなんだ？ カントール以降 　余計な直感に狂わされてる 時代な気がするなぁ・・・
31
公理系のスペクトル幾何、ありそうだなぁとは思ったけど 　圏論で整理されている今ならできるね。 壮大なやりたかった事はいっぱいあったんだ。 独りじゃできないし、共感もされなかっただけで。
1
39
ε-δ で「関数の連続性」を表現できている事を認識するのが難しい、のでは？ 　手順ではなく、意味的に。
KatsuKi@Katchan202
Jun 13
「ε-δ は難しい」みたいな話を聞くたびに 🟢（そんなこと言ったら『有界』の定義も同様に難しいだろ！ なんで 　　　界（さかい）が有る 　＝　界の向こう側（無限遠点側）に要素はない ことを述べるくらいで定数 M なんて持ち出すんだよ！！ ε-δ といい勝負だろ！！！） と，心の中で思っている。
27
直感で選択公理を議論しても意味ないと思うけど・・・
自由な数学徒@mDfPYUqSTu83298
Jun 13
YouTubeのコメ欄で議論しててちょっと思ったんだが、集合族{Aλ}の各Aλが可算なら、選択公理を仮定せずとも整列可能だからf:λ↦min(Aλ)とすれば直積が空でないことが言える？
1
136
完備性は「収束先が『理想的に』存在する」なはずなのだけど 　これがないと「存在が保証されない」と誤認する のはなぜなんだ・・・？？？ 無限集合論による「本末転倒」
21
逆か。DTT だと「やりたい事の逆」。 ¬Inf から出る結果を「見たくない Type Theory」か。
20
htmath retweeted
a@AA_A_0A0_A_AA
Jun 12
理想論に傾けば実現可能性を説明する必要が発生し出すものだし、現実論に傾けば理想を諦めるだけの理由の説明が求められる 脇の甘い主張には当然に質問や批判が飛んでくるというだけの話ではないかね？
のりしお@norishio0302
Jun 12
理想論を言えば実現不可能だと言われ、現実論を言えば夢が無いと言われる 政治界隈ってこういうところがある 何を言おうが批判は付き物
1
1
2
307
数学物理とか理学工学とかその中の各分野の「どっちが上」論争も同じ。　意味ない。
@そねっと@sonettlight1st
Jun 13
オワコン論争は個人のバイアスありえんかかった状態での議論しかできない人多いからする意味ないと思っている
25
わかりみがふかい
より大きな声で@shizen_writing
Jun 13
ようやくたった今すげえこと自覚したんだが、僕の最大の長所でありかつ壊滅的な短所は、「他人のために、ブチギレたくなってしまう」ところだな。何度かそれで人間関係壊してて、それは大切な人のためのブチギレだったんだろう（大切にする方法が下劣だが）とこれまで思ってたんだけど、関係無いかも。
1
52
Load more