ゲーデルのオリジナルの証明()は、問題を論理式の特殊ケースを表すある統語論的な形式に還元し、以後はその形式を場当たり的な方法で扱った。
最近の論理学の文献では、ヘンキンの証明の方がよく紹介されている。ヘンキンの証明では、任意の無矛盾な一階理論に適用できるような項モデル()を直接構築する。他の証明方法も存在する。
ミズゴケ類
教案
原因としては、
などがあげられる。
ヒモサボテン
水野忠矩
崇文区
歴史.
意識の境界問題
概要.
境界問題について説明するために、まずいくつかの前提となる概念について説明を行う。
意識の統一性.
境界と個別化.
しかしながらあなたが体験するのはこの世界にある意識体験のごく一部である。例えば隣にいる誰かが酷い虫歯の痛みに苦しめられていたとしても、「あなた」がその痛みを感じるということはないし、また地球の裏側で誰かが幸福の絶頂を噛み締めていたとしても、あなたがその喜びを感じるということはない。つまり意識体験は境界を持って個別化されている。
中間レベル.
私達の住む宇宙は、素粒子のレベルから、原子、分子、高分子というレベルを経て、細胞、組織、個体、生態系、そして惑星、恒星系、銀河、銀河団、宇宙というレベルまで、様々なレベルで構成される階層性を持っている。その中で私達のもつ意識体験は個体レベルというある特定の中間レベルで統一されている。
境界問題.
組み合わせ問題.
解の候補.
この問題に対する解答は、現象的意識に対して取る哲学的立場により異なったものとなってくる。もしあなたが現象的意識の問題に対して、唯物論または物的一元論などと呼ばれるような立場を取るなら（つまり現象的意識とアウェアネスを存在論的に区別しない立場を取るなら）、この問題は完全な擬似問題である。つまりこの問題に対しては、私達がある特有の方法でアクセス可能な情報の範囲が統一と呼ばれているものの範囲を決めている、といった類の説明を与えるだけで十分である。しかしもしあなたが性質二元論または中立一元論と呼ばれるような立場を取るなら（つまり現象的意識とアウェアネスを存在論的に区別する立場を取るなら）、境界問題に対して何らかの説明を与える必要が出てくる。以下、そうした立場の人々が提出しているアイデアを紹介する。
ローゼンバーグの形而上学.
トノーニの情報統合理論.
量子脳理論.