物理学 › 物理学コラム › 宇宙人はどのくらいいるのか

グレートフィルター

定義 7.1(「宇宙人はどのくらいいるのか」§7)

無生物の物質から出発して、銀河系に広がる技術文明に至るまでの一連の段階(惑星の形成、生命の発生、複雑な細胞、多細胞化、知性、技術、宇宙進出)を考える。フェルミのパラドックスが事実である以上、この一連の段階のどこかに、通過確率が極端に小さい関門が存在しなければならない。この関門をグレートフィルターという。

フィルターが人類の現在地より前の段階にあるとき「背後にある」、後の段階にあるとき「前方にある」という。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。