今注目のニュース
「仕事を選べるなら再び中学教員に」日本が他国より少ない理由 教師の仕事が「外れる子を出さない品質管理」になっているため?
「犯罪をした人は悪い。だけど同じ人間」 元受刑者が「社会を明るくする運動」で理解訴え
加藤浩次「僕は会社を辞める」発言でネット「かっこよすぎる」と話題に

公理単語

コウリ

掲示板をみる(3)
  • twitter
  • facebook
  • はてな
  • LINE

公理とは、前提・仮定である。

概要

公理とは当たり前すぎて明のしようがない命題のことである。

複数の公理がセットになったものを公理系と呼び、前提として用いられる。公理系の公理を組み合わせて演繹的に明された定理とあわせて一つの論理体系となる。

ここで発想を逆転させて定理とされていたものから公理を用いずに公理を明したら、定理とされていたものが公理で公理とされていたものが定理ということができなくもないので、当たり前のことが公理であるというのは多少不正確なのかもしれない。とはいえ、公理系の公理は当たり前に見えることが選ばれるのが通例である。

真実はいつもひとつ?

ユークリッド幾何学は5つの公理と5つの準から始めて多数の定理明したことで公理系の例として知られている。しかし、実はユークリッド幾何学は「歪みのない2次元3次元間の出来事である」という公理系に含まれない前提が隠れていたのである。 → 非ユークリッド幾何学

公理系は矛盾められるのが常であるが、矛盾な公理系は実は一つだけとは限らない。「当たり前」の組み合わせは実は複数存在し、既存の当たり前の組み合わせ=常識を疑えば新たな常識=公理系=世界が開けることもあるのである。

当たり前であればあるほどそれに疑問を抱いたりすることは難しいが、たとえば上記非ユークリッド幾何学のようにんだ間を前提とした幾何学を発見できる場合もあるし、あるいは除算を封印して整数しか扱わない計算体系を考えることもできるかもしれない。

関連項目

掲示板

  • 1ななしのよっしん

    2018/05/04(金) 05:04:55 ID: hsgVA+T1RI

    前提を疑え!

  • 2ななしのよっしん

    2019/02/12(火) 11:54:10 ID: S0/VYFMRgi

    >実はユークリッド幾何学は「歪みのない2次元3次元間の出来事である」という公理系に含まれない前提が隠れていた
    正確に言うと、説明が回りくどくて本当に公理系に必要なのか疑われていた第五準こそ、間がまっすぐであることと同値であるという事が分かり、この代わりに「間が曲がっている」準を付け加えても問題がないことが発見された。

  • 3ななしのよっしん

    2019/02/12(火) 18:11:28 ID: B7HCplzuBF

    >実はユークリッド幾何学は「歪みのない2次元3次元間の出来事である」という公理系に含まれない前提が隠れていた

    この説明の仕方は逆ですね。

    後世の多くの学者は、妙にかさばった第五準に不満を持っていて
    もしかして第五準いらないんじゃね?これくてもユークリッド間構成できるんじゃね?」と疑っていた。
    しかし研究を進めた結果、最初の4準だけでは間の坦さを保できない事が判明した。

    つまり「歪みのない2次元3次元間の出来事である」という前提は公理系に含まれて『いた』んであって
    結局、(一見不要にも思える)第五準をわざわざ明示的に掲げたユークリッドは正しかったわけ。
    もちろん、ユークリッドが曲がった間の排除を念頭に置いていたわけじゃないだろうけど、
    素晴らしい眼であることに変わりはない。

急上昇ワード

最終更新:2019/07/23(火) 13:00

ほめられた記事

最終更新:2019/07/23(火) 13:00

ウォッチリストに追加しました!

すでにウォッチリストに
入っています。

OK

追加に失敗しました。

OK

追加にはログインが必要です。

       

ほめた!

すでにほめています。

すでにほめています。

ほめるを取消しました。

OK

ほめるに失敗しました。

OK

ほめるの取消しに失敗しました。

OK

ほめるにはログインが必要です。

TOP