数学というのは、つまるところこの3つなんだな
No.3名無しさん2025/11/16 08:46:28# 線形代数 → 対象にベクトル空間と線形写像を割り当てる ホモトピー → 同値なものを同一視して、本質的な情報だけを取り出す 完備化 → 足りない要素を埋めて、いつでも極限が取れるようにする
論理の表現論名無しさん2026/03/14 11:07Quicksort inventor Tony Hoare reaches the base case at 92 [https://www.theregister.com/2026/03/12/in_memoriam_sir_tony_...
「1+1=2」の厳密な証明が非常に難しい理由。名無しさん2025/12/24 17:40[>>27](/boards/math/1762930408#post-27) ほえー。 ペアノよりウンコの時代だ。 つ💩 連投しすぎるとこうなるよ☆