カテゴリー: logic

「科学の正統性」 vs 「社会の進化速度」 🔁 問題の構造：科学的合意 ≠ 現実的有用性 ◆ 観測を経ずとも現実に機能するものが存在する ◆ にもかかわらず、「証明されていないから危険／未熟」という合意原理主義がブレーキ…
Read more

What is Graham’s Number? Graham’s number is an **extremely large number** that arises in **Ramsey theory**, a …
Read more

1人の人間を構成するクオークに対応する、ビッグバンで別の宇宙に散らばったアンチクオークの数、 100 Undecillion（アンデシリオン） 100鐗（さい）10^38個 人体を構成するクオークの総数 人体を構成する合…
Read more

logicによる証明方法の基本は、大きく以下の5つに分類されます。 ① 直接証明法（Direct Proof） ある命題 P⇒Q を証明する際に、前提 Pを仮定し、そこから論理的に帰結して結論 Qを導きます。 例「偶数同…
Read more