ロゴ
ユニオンペディア
コミュニケーション
Google Play で手に入れよう
新しい! あなたのAndroid™デバイスでユニオンペディアをダウンロードしてください!
無料
ブラウザよりも高速アクセス!
 

数学の哲学と自然数

ショートカット: 違い類似点ジャカード類似性係数参考文献

数学の哲学と自然数の違い

数学の哲学 vs. 自然数

数学の哲学(すうがくのてつがく、philosophy of mathematics)は、哲学(科学哲学)の一分野で、数学を条件付けている哲学的前提や哲学的基礎、そして数学の哲学的意味を研究するものである。数理哲学とも言われる。 数学的哲学(すうがくてきてつがく、mathematical philosophy)という用語が、しばしば「数学の哲学」と同義語として使われる。しかしながら、「数学的哲学」は、別の意味を少なくとも二つ持っている。一つは、例えばスコラ学の神学者の仕事やライプニッツやスピノザの体系が目標にしていたような、美学、倫理学、論理学、形而上学、神学といった哲学的主題を、その主張するところでは、より正確かつ厳密な形へと形式化するプロジェクトを意味する。さらに、個々の数学の実践者や、考えかたの似た現場の数学者の共同体が日頃抱いているものの考え方(=哲学)を意味する。. 自然数(しぜんすう、natural number)とは、個数、もしくは順番を表す一群の数のことである。集合論においては、自然数は物の個数を数える基数のうちで有限のものであると考えることもできるし、物の並べ方を示す順序数のうちで有限のものであると考えることもできる。 自然数を 1, 2, 3, … とする流儀と、0, 1, 2, 3, … とする流儀があり、前者は数論などでよく使われ、後者は集合論、論理学などでよく使われる(詳しくは自然数の歴史と零の地位の節を参照)。いずれにしても、0 を自然数に含めるかどうかが問題になるときは、その旨を明記する必要がある。自然数の代わりに非負整数または正整数と言い換えることによりこの問題を避けることもある。 数学の基礎付けにおいては、自然数の間の加法についての形式的な逆元を考えることによって整数を定義する。正の整数ないしは負でない整数を自然数と同一視し、自然数を整数の一部として取扱うことができる。自然数と同様に整数の全体も可算無限集合である。 なお、文脈によっては、その一群に属する個々の数(例えば 3 や 18)を指して自然数ということもある。.

数学の哲学と自然数間の類似点

数学の哲学と自然数は(ユニオンペディアに)共通で13ものを持っています: ユークリッド原論レオポルト・クロネッカーエウクレイデスゴットロープ・フレーゲ公理的集合論計算機科学論理学野本和幸集合論抽象化数学基礎論19世紀

ユークリッド原論

ュリュンコスで発見された『ユークリッド原論』のパピルスの写本断片。紀元100年ごろの作。図は『原論』第2巻の命題5に添えられたもの。 ユークリッド原論(ユークリッドげんろん)は、紀元前3世紀ごろにエジプトのアレクサンドリアの数学者ユークリッドによって編纂されたと言われる数学書『原論』(げんろん、Στοιχεία, ストイケイア、Elements)のことである。著者のユークリッドに関する資料は乏しく実在性を疑う説もあり、原論執筆の地がアレクサンドリアであることに対する明確な根拠も無い。プラトンの学園アカデメイアで知られていた数学の成果を集めて体系化した本と考えられており、論証的学問としての数学の地位を確立した古代ギリシア数学を代表する名著である。古代の書物でありながらその影響は古代に留まらず、後世の人々によって図や注釈が加えられたり翻訳された多種多様な版が作られ続け、20世紀初頭に至るまで標準的な数学の教科書の一つとして使われていたため、西洋の書物では聖書に次いで世界中で読まれてきた本とも評される。英語の数学「Mathematics」の語源といわれているラテン語またはギリシア語の「マテーマタ」(Μαθήματα)は「レッスン(学ばれるべきことども)」という意味であり、このマテーマタを集大成したものが『原論』である。.

ユークリッド原論と数学の哲学 · ユークリッド原論と自然数 · 続きを見る »

レオポルト・クロネッカー

レオポルト・クロネッカー(Leopold Kronecker, 1823年12月7日 - 1891年12月29日)はドイツの数学者である。リーグニッツ(現在のポーランド・レグニツァ Legnica)生まれ。ユダヤ系。 彼は、ヤコビ、ディリクレ、アイゼンシュタイン、クンマーといったドイツの先達の後に立って、また、パリ滞在中にエルミートなどの影響によって、群論、モジュラー方程式、代数的整数論、楕円関数、また行列式の理論において大きな業績を残した。クロネッカーの名前は現在でも、クロネッカーのデルタ、クロネッカー積、クロネッカー=ウェーバーの定理、クロネッカーの青春の夢などに見ることができる。.

レオポルト・クロネッカーと数学の哲学 · レオポルト・クロネッカーと自然数 · 続きを見る »

エウクレイデス

ラファエロの壁画「アテナイの学堂」に画かれたエウクレイデス アレクサンドリアのエウクレイデス(、、(ユークリッド)、紀元前3世紀? - )は、古代ギリシアの数学者、天文学者とされる。数学史上最も重要な著作の1つ『原論』(ユークリッド原論)の著者であり、「幾何学の父」と称される。 プトレマイオス1世治世下(紀元前323年-283年)のアレクサンドリアで活動した。『原論』は19世紀末から20世紀初頭まで数学(特に幾何学)の教科書として使われ続けた。線の定義について、「線は幅のない長さである」、「線の端は点である」など述べられている。基本的にその中で今日ユークリッド幾何学と呼ばれている体系が少数の公理系から構築されている。エウクレイデスは他に光学、透視図法、円錐曲線論、球面天文学、誤謬推理論、図形分割論、天秤などについても著述を残したとされている。 なお、エウクレイデスという名はギリシア語で「よき栄光」を意味する。その実在を疑う説もあり、その説によると『原論』は複数人の共著であり、エウクレイデスは共同筆名とされる。 確実に言えることは、彼が古代の卓越した数学者で、アレクサンドリアで数学を教えていたこと、またそこで数学の一派をなしたことである。ユークリッド幾何学の祖で、原論では平面・立体幾何学、整数論、無理数論などの当時の数学が公理的方法によって組み立てられているが、これは古代ギリシア数学の一つの成果として受け止められている。.

エウクレイデスと数学の哲学 · エウクレイデスと自然数 · 続きを見る »

ゴットロープ・フレーゲ

フリードリヒ・ルートヴィヒ・ゴットロープ・フレーゲ(Friedrich Ludwig Gottlob Frege, 1848年11月8日 - 1925年7月26日)は、ドイツの哲学者、論理学者、数学者であり、現代の数理論理学、分析哲学の祖にあたる。 フレーゲはバルト海に面したドイツの港町ヴィスマールの生まれである。母のアウグステ・ビアロブロツキーはポーランド系である。彼ははじめイェーナ大学で学び、その後ゲッティンゲン大学に移り1873年に博士号を取得した。その後イェーナに戻り、1896年から数学教授。1925年に死去した。.

ゴットロープ・フレーゲと数学の哲学 · ゴットロープ・フレーゲと自然数 · 続きを見る »

公理的集合論

公理的集合論(こうりてきしゅうごうろん、axiomatic set theory)とは、公理化された集合論のことである。.

公理的集合論と数学の哲学 · 公理的集合論と自然数 · 続きを見る »

計算機科学

計算機科学(けいさんきかがく、computer science、コンピュータ科学)とは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である。計算機科学には様々な下位領域がある。コンピュータグラフィックスのように特定の処理に集中する領域もあれば、計算理論のように数学的な理論に関する領域もある。またある領域は計算の実装を試みることに集中している。例えば、プログラミング言語理論は計算を記述する手法に関する学問領域であり、プログラミングは特定のプログラミング言語を使って問題を解決する領域である。.

数学の哲学と計算機科学 · 自然数と計算機科学 · 続きを見る »

論理学

論理学(ろんりがく、)とは、「論理」を成り立たせる論証の構成やその体系を研究する学問である。.

数学の哲学と論理学 · 自然数と論理学 · 続きを見る »

野本和幸

野本和幸(のもと かずゆき、1939年8月28日 - )は、日本の哲学研究者、東京都立大学・創価大学名誉教授。.

数学の哲学と野本和幸 · 自然数と野本和幸 · 続きを見る »

集合論

集合論(しゅうごうろん、set theory, théorie des ensembles, Mengenlehre)は、集合とよばれる数学的対象をあつかう数学理論である。 通常、「集合」はいろいろな数学的対象の集まりを表していると見なされる。これは日常的な意味でのものの集まりやその要素、特定のものが入っているかいないか、という概念を包摂している。現代数学の定式化においては集合論がさまざまな数学的対象を描写する言葉をあたえている。(論理や述語論理とともに)集合論は数学の公理的な基礎付けをあたえ、数学的な対象を形式的に(無定義語の)「集合」と「帰属関係」によって構成することが可能になる。また、集合論の公理として何を仮定するとどんな体系が得られるか、といった集合それ自体の研究も活発に行われている。 集合論における基本的な操作には、あたえられた集合のべき集合や直積集合をとる、などがある。また二つの集合の元同士の関係(二項関係)を通じて定義される順序関係や写像などの概念が集合の分類に重要な役割を果たす。集合論では二つの集合はそれぞれの集合の元の間に全単射が存在するとき濃度が等しいという。そこで集合を濃度の等しさによって類別した各々の同値類のことを濃度という。この定義では濃度は真のクラスになってしまうので、濃度そのものを集合論的な対象として取り扱い難い。選択公理を仮定すると任意の集合は整列可能であることが導かれる。整列集合の順序型を順序同型で類別した各々の同値類と定義してしまうと、それは真のクラスとなってしまう。幸いなことに任意の整列集合は順序数と呼ばれる特別な集合(を帰属関係で順序付けしたもの)と順序同型となる。そのためそれら順序数を整列集合の順序型と定義することができる。また順序数全体 \mathrm(これは真のクラスになる)もまた整列順序付けられている。以上のもとで、集合の濃度を と定義することができる。すなわち濃度というのを特別な順序数として定義するわけである。このようにすることで濃度の定義から真のクラスを追放することができる。ただし選択公理を仮定することなく濃度を定義し取り扱うことはできる。基本的なアイデアは濃度で類別した各々同値類から累積階層の意味で階数が最小なものだけを分出するというものである。詳細はを参照。.

数学の哲学と集合論 · 自然数と集合論 · 続きを見る »

抽象化

抽象化(ちゅうしょうか、Abstraction、Abstraktion)とは、思考における手法のひとつで、対象から注目すべき要素を重点的に抜き出して他は無視する方法である。反対に、ある要素を特に抜き出して、これを無視したり、切り捨てる意味もあり、この用法については捨象(しゃしょう)するという。従って、抽象と捨象は盾の両面といえる。.

抽象化と数学の哲学 · 抽象化と自然数 · 続きを見る »

数(かず、すう、number)とは、.

数と数学の哲学 · 数と自然数 · 続きを見る »

数学基礎論

数学基礎論(すうがくきそろん、英語:)は、数学の一分野。他の分野が整数・実数・図形・関数などを取り扱うのに対し、数学自体を対象とする。.

数学の哲学と数学基礎論 · 数学基礎論と自然数 · 続きを見る »

19世紀

19世紀に君臨した大英帝国。 19世紀(じゅうきゅうせいき)は、西暦1801年から西暦1900年までの100年間を指す世紀。.

19世紀と数学の哲学 · 19世紀と自然数 · 続きを見る »

上記のリストは以下の質問に答えます

数学の哲学と自然数の間の比較

自然数が140を有している数学の哲学は、197の関係を有しています。 彼らは一般的な13で持っているように、ジャカード指数は3.86%です = 13 / (197 + 140)。

参考文献

この記事では、数学の哲学と自然数との関係を示しています。情報が抽出された各記事にアクセスするには、次のURLをご覧ください:

ヘイ!私たちは今、Facebook上です! »