ブラウザよりも高速アクセス！
19 関係: ペアノの公理、ペアノ曲線、マックチューター数学史アーカイブ、トリノ、トリノ大学、ピエモンテ州、イタリア、クーネオ、公理、共立出版、無活用ラテン語、講談社、自然数、数学者、数理論理学、1858年、1932年、4月20日、8月27日。
ペアノの公理
ペアノの公理（ペアノのこうり、Peano axioms） とは、自然数全体を公理化したものである。1891年に、ジュゼッペ・ペアノによって定義された。.
新しい！!: ジュゼッペ・ペアノとペアノの公理 · 続きを見る »
ペアノ曲線
幾何学において，ペアノ曲線（Peano curve）は空間充填曲線の最初に発見された例であり，1890年ジュゼッペ・ペアノ (Giuseppe Peano) による．ペアノ曲線は単位区間から単位正方形の上への全射連続関数であるが，単射ではない．ペアノはこれら2つの集合が同じ濃度をもつというゲオルグ・カントルの以前の結果に動機づけられた．この例のため，「ペアノ曲線」をより一般に任意の空間充填曲線を指すために用いる著者もいる．.
新しい！!: ジュゼッペ・ペアノとペアノ曲線 · 続きを見る »
マックチューター数学史アーカイブ
マックチューター数学史アーカイブ（MacTutor History of Mathematics archive）とはジョン・J・オコナーとエドマンド・F・ロバートソンが作成し、スコットランドにあるセント・アンドルーズ大学がホスティングしている有名な曲線に関する情報や数学史に関する様々な話題や多くの数学者の伝記を載せているウェブサイトである。 このウェブサイトは同作者による18メガバイトのHyperCardデータベースである「マスマティカル・マックチューター・システム(Mathematical MacTutor system)」という大規模プロジェクトの一環であり、マックチューターは広範囲の数学的な話題を扱っているがコンテンツは作者の興味と熱意に左右される形で偏っている。オコナーとロバートソンは自身が考えるコンピュータ、特にMacintoshのグラフィック機能の分野に注目しており他の方法では不可能な洞察力を与えてくれるとしている。従って、数学ソフトウェアにて見つけることが期待できる微分積分学の話題に加えてマックチューターは統計学、行列、複素解析上のスタックに加えて幾何学、代数学（特に群論）、グラフ理論、数論において特に強みを持つ。.
新しい！!: ジュゼッペ・ペアノとマックチューター数学史アーカイブ · 続きを見る »
トリノ
トリノ（Torino）は、イタリア共和国ピエモンテ州にある都市で、その周辺地域を含む人口約87万人の基礎自治体（コムーネ）。ピエモンテ州の州都であり、トリノ県の県都。イタリア第4の人口規模を持つ。都市圏の人口は約170万人。一時は100万都市だったが昨今は人口減少が著しい。 ミラノに次ぐイタリア第2の工業都市であり、自動車工業の拠点である。近代にはサルデーニャ王国の首都が置かれた。サヴォイア王家の王宮群は世界遺産に登録されている。.
新しい！!: ジュゼッペ・ペアノとトリノ · 続きを見る »
トリノ大学
トリノ大学（トリノだいがく、University of Turin、Università degli Studi di Torino）は、イタリア北西部のピエモンテ州トリノにある国立大学。ヨーロッパで最も伝統があり、ノーベル賞受賞者を複数輩出した、格式高い名門大学の一つである。現在は12の学部と55の学科からなる。また国連との共同プログラムを設立する等の先進的な取組でも知られる。.
新しい！!: ジュゼッペ・ペアノとトリノ大学 · 続きを見る »
ピエモンテ州
ピエモンテ州（Piemonte）は、イタリア共和国北西部に位置する州。州都はイタリア第四の都市であるトリノ。.
新しい！!: ジュゼッペ・ペアノとピエモンテ州 · 続きを見る »
イタリア
イタリア共和国（イタリアきょうわこく, IPA:, Repubblica Italiana）、通称イタリアは南ヨーロッパにおける単一国家、議会制共和国である。総面積は301,338平方キロメートル (km2) で、イタリアではロスティバル（lo Stivale）と称されるブーツ状の国土をしており、国土の大部分は温帯に属する。地中海性気候が農業と歴史に大きく影響している。.
新しい！!: ジュゼッペ・ペアノとイタリア · 続きを見る »
クーネオ
ーネオ（Cuneo）は、イタリア共和国ピエモンテ州南部にある都市で、その周辺地域を含む人口約5万5000人の基礎自治体（コムーネ）。クーネオ県の県都である。.
新しい！!: ジュゼッペ・ペアノとクーネオ · 続きを見る »
公理
公理（こうり、axiom）とは、その他の命題を導きだすための前提として導入される最も基本的な仮定のことである。一つの形式体系における議論の前提として置かれる一連の公理の集まりを (axiomatic system) という 。公理を前提として演繹手続きによって導きだされる命題は定理とよばれる。多くの文脈で「公理」と同じ概念をさすものとして仮定や前提という言葉も並列して用いられている。 公理とは他の結果を導きだすための議論の前提となるべき論理的に定式化された（形式的な）言明であるにすぎず、真実であることが明らかな自明の理が採用されるとは限らない。知の体系の公理化は、いくつかの基本的でよく知られた事柄からその体系の主張が導きだせることを示すためになされることが多い。 なお、ユークリッド原論などの古典的な数学観では、最も自明（絶対的）な前提を公理、それに準じて要請される前提を公準 (postulate) として区別していた。.
新しい！!: ジュゼッペ・ペアノと公理 · 続きを見る »
共立出版
共立出版株式会社（きょうりつしゅっぱん）は、理工系の専門書を中心に刊行している出版社。自然科学書協会、日本理学書総目録刊行会に加盟している。大学の教科書としてもよく使用され、大学生協との取引も多い。.
新しい！!: ジュゼッペ・ペアノと共立出版 · 続きを見る »
無活用ラテン語
無活用ラテン語（Latino sine flexione, ラティーノ・スィネ・フレクスィオーネ）は数学者として知られるジュゼッペ・ペアノが1903年に考案した人工言語である。古典ラテン語から活用を除いた（語彙はそのまま）ものでペアノの論考「De Latino sine Flexione, Lingua Auxiliare Internationale」（国際補助語である無活用ラテン語について）で述べられている。この文章は古典ラテン語で書かれており文が進むにつれて活用形が減っていくという趣向を凝らしている。以前はこの無活用ラテン語を指してインターリングアといったが現在は別の人工言語をいう。.
新しい！!: ジュゼッペ・ペアノと無活用ラテン語 · 続きを見る »
講談社
株式会社講談社（こうだんしゃ、英称：Kodansha Ltd.）は、日本の総合出版社。創業者の野間清治の一族が経営する同族企業。.
新しい！!: ジュゼッペ・ペアノと講談社 · 続きを見る »
自然数
自然数（しぜんすう、natural number）とは、個数、もしくは順番を表す一群の数のことである。集合論においては、自然数は物の個数を数える基数のうちで有限のものであると考えることもできるし、物の並べ方を示す順序数のうちで有限のものであると考えることもできる。 自然数を 1, 2, 3, … とする流儀と、0, 1, 2, 3, … とする流儀があり、前者は数論などでよく使われ、後者は集合論、論理学などでよく使われる（詳しくは自然数の歴史と零の地位の節を参照）。いずれにしても、0 を自然数に含めるかどうかが問題になるときは、その旨を明記する必要がある。自然数の代わりに非負整数または正整数と言い換えることによりこの問題を避けることもある。 数学の基礎付けにおいては、自然数の間の加法についての形式的な逆元を考えることによって整数を定義する。正の整数ないしは負でない整数を自然数と同一視し、自然数を整数の一部として取扱うことができる。自然数と同様に整数の全体も可算無限集合である。 なお、文脈によっては、その一群に属する個々の数（例えば 3 や 18）を指して自然数ということもある。.
新しい！!: ジュゼッペ・ペアノと自然数 · 続きを見る »
数学者
数学者（すうがくしゃ、mathematician）とは、数学に属する分野の事柄を第一に、調査および研究する者を指していう呼称である。.
新しい！!: ジュゼッペ・ペアノと数学者 · 続きを見る »
数理論理学
数理論理学（mathematische Logik、mathematical logic）は、論理学（形式論理学）の数学への応用の探求ないしは論理学の数学的な解析を主たる目的とする、数学の関連分野である。局所的には数理論理学は超数学、数学基礎論、理論計算機科学などと密接に関係している。数理論理学の共通な課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学（とくに）における数理論理学の役割の詳細はこの記事には含まれていない。詳細はを参照。 この分野が始まって以来、数理論理学は数学基礎論の研究に貢献し、また逆に動機付けられてきた。数学基礎論は幾何学、算術、解析学に対する公理的な枠組みの開発とともに19世紀末に始まった。20世紀初頭、数学基礎論は、ヒルベルトのプログラムによって、数学の基礎理論の無矛盾性を証明するものとして形成された。クルト・ゲーデルとゲルハルト・ゲンツェンによる結果やその他は、プログラムの部分的な解決を提供しつつ、無矛盾性の証明に伴う問題点を明らかにした。集合論における仕事は殆ど全ての通常の数学を集合の言葉で形式化できることを示した。しかしながら、集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。むしろ現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか（逆数学のように）ということに焦点を当てている。.
新しい！!: ジュゼッペ・ペアノと数理論理学 · 続きを見る »
1858年
記載なし。
新しい！!: ジュゼッペ・ペアノと1858年 · 続きを見る »
1932年
記載なし。
新しい！!: ジュゼッペ・ペアノと1932年 · 続きを見る »
4月20日
4月20日（しがつはつか、しがつにじゅうにち）はグレゴリオ暦で年始から110日目（閏年では111日目）にあたり、年末まではあと255日ある。誕生花はシバザクラ、ルピナス。.
新しい！!: ジュゼッペ・ペアノと4月20日 · 続きを見る »
8月27日
8月27日（はちがつにじゅうななにち、はちがつにじゅうしちにち）は、グレゴリオ暦で年始から239日目（閏年では240日目）に当り、年末まであと126日ある。.
新しい！!: ジュゼッペ・ペアノと8月27日 · 続きを見る »
