単語記事: 公理

編集  

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

概要

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

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

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

真実はいつもひとつ?

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

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

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

関連項目


【スポンサーリンク】

携帯版URL:
http://dic.nicomoba.jp/k/a/%E5%85%AC%E7%90%86
ページ番号: 5354083 リビジョン番号: 2408557
読み:コウリ
初版作成日: 15/07/26 10:26 ◆ 最終更新日: 16/09/22 07:53
編集内容についての説明/コメント: 四元数とかも関連項目に入れていいのではと思った。
記事編集 / 編集履歴を閲覧
このエントリーをはてなブックマークに追加

この記事の掲示板に最近描かれたお絵カキコ

お絵カキコがありません

この記事の掲示板に最近投稿されたピコカキコ

ピコカキコがありません

公理について語るスレ


まだ掲示板に書き込みがありません… 以下のようなことを書き込んでもらえると嬉しいでーす!

  • 記事を編集した人の応援(応援されると喜びます)
  • 記事に追加して欲しい動画・商品・記述についての情報提供(具体的だと嬉しいです)
  • 公理についての雑談(ダラダラとゆるい感じで)

書き込みを行うには、niconicoのアカウントが必要です!


急上昇ワード
ニコニコニューストピックス
電ファミwiki
  JASRAC許諾番号: 9013388001Y45123
  NexTone許諾番号: ID000001829