タグ

論理に関するB-daiのブックマーク (2)

  • 数学に関する質問です。なぜ一度正しいと証明された定理が覆されることがないのか?…

    数学に関する質問です。なぜ一度正しいと証明された定理が覆されることがないのか? ということが理解できません。 「あらゆる科学理論は質的には仮説であって真理ではありえないので、常に反証される可能性がある。そして反証された時にその理論は敗れ去る」 これは非常に納得できることです。 しかしどうして数学の場合は科学のように反証可能性のようなものがないのかがわかりません。 「論理だから」というのは自分にとっては全然自明ではありません。 そう言われると、なぜ論理だと覆されることがないのか? という新たな疑問が生まれるだけです。 「論理だから」が当に正しのか、そしてそれが正しいのならばどうして論理だと覆されないのか、 それともそれ以外の理由があって数学の定理は覆されないのかを教えてください。

  • クルト・ゲーデル - Wikipedia

    クルト・ゲーデル(Kurt Gödel, 1906年4月28日 - 1978年1月14日)は、オーストリア・ハンガリー帝国出身の数学者・論理学者・哲学者である。業績には、完全性定理、不完全性定理[1]および連続体仮説に関する研究が知られる。 略歴[編集] オーストリア=ハンガリー帝国時代[編集] オーストリア=ハンガリー帝国のモラヴィアに生まれる。1924年、ゲーデルは、ウィーン大学に入学し、まず物理学を、後に数学を学んだ。そして、1930年には、最初の重要な業績である「完全性定理」(第一階述語論理の完全性定理)を発表し、学位を得た。 翌1931年、ゲーデル数の概念を用い、20世紀の数学基礎論、論理学にとって最も重要な発見とされる「不完全性定理」を発表した。 1940年、ヒルベルトの第一問題(連続体仮説)について、「集合論のZF公理系が無矛盾ならば、そこに選択公理と一般連続体仮説を加えても

    クルト・ゲーデル - Wikipedia
    B-dai
    B-dai 2007/02/04
    米国憲法が独裁者の出現を排除できない欠陥憲法であることを指摘した
  • 1