科学と哲学
物理学は我々の認識の基盤、インスピレーション、そしてその限界の自覚として。ソフトウェアテストはモデル化されたものとモデルの関係に適用される物理学的思考として。測定は比較の実用的道具として。哲学は認識可能なものと言語の境界を重視して——単なる自然科学的問いとしてではなく。「怪しい哲学」はセラピストの言語として、自己と、クライアントと、照らされた世界の経過における関係の観照として。数学は構造の学をはるかに超えたものとして。語りうることについては深く語ろう。そして語りえぬものについては、沈黙しなければならない。
物理学
凝縮相物理学を原子物理の標準模型の半古典・純量子系への応用として捉える;原子・分子系でのボルン=オッペンハイマー近似。素粒子物理学と宇宙論の標準模型。量子力学の基礎と未解決問題。測定問題とシステム境界の問題。
∑数学
論理学、集合論、数学の不条理な有効性。形式的システムとその限界。
ε認識論
ポパー、クーン、ボーア。反証可能性、パラダイムシフト、相補性。科学的知識が実際にどのように成長するか。
esse実存的
存在、意味、実存の構造。ハイデガーから観想的実践の生きた経験まで。
トイモデル
物理的直観を養うためのインタラクティブシミュレーション。各モデルは主要パラメータを公開——調整してシステムの応答を観察。コードはGitHubでオープンソース。
ケルビン・ヘルムホルツ不安定性
水槽内の空気と水の界面における波動。格子ボルツマン法(D2Q9 BGK)シミュレーション。せん断速度、密度比、水槽形状、摂動振幅、粘性を調整可能。
GitHub: petr-yamyang/physics-first_examples · MITライセンス · 参考文献: ScienceDirect, Flott (LMD Jussieu)
インタラクティブ記事
今後のモデル
二重スリット干渉
単一粒子の波動関数の時間発展と干渉パターンの形成。
2Dイジングモデル
強磁性格子における相転移——モンテカルロシミュレーション。
N体重力
軌道力学と制限三体問題。
セルオートマトン
コンウェイのライフゲーム、ルール110、ラングトンの蟻。
シュレーディンガー方程式
時間依存1D量子井戸とバリアトンネリング。
反応拡散
チューリングパターン——グレイ・スコット形態形成モデル。