WEKO3
アイテム
ユークリッド原論巻Iの前半についての考察
http://hdl.handle.net/10112/12250
http://hdl.handle.net/10112/122507862adbe-9ded-4680-a0ad-2bb1baa5c55d
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KU-1100-20040325-11.pdf (1.4 MB)
|
|
| Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2018-02-08 | |||||
| タイトル | ||||||
| タイトル | ユークリッド原論巻Iの前半についての考察 | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | departmental bulletin paper | |||||
| その他のタイトル | ||||||
| その他のタイトル | Considerations on the First Half of Volume I of Euclid's Elements | |||||
| 著者 |
深田, 陽司
× 深田, 陽司 |
|||||
| 著者別名 | ||||||
| 識別子Scheme | WEKO | |||||
| 識別子 | 23050 | |||||
| 姓名 | Fukada, Youji | |||||
| 概要 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 本論では,ユークリッド原論巻Iにおける公理および前半の26個の命題を考察した.まず公理について考察し,5つの公理(文献によっては9個の公理)では,これら26個の命題の証明に不十分であると問題提起し,いくつかの追加公理を提案した.次に26個の命題を考察し,各命題の証明において暗黙的に使用されている事実(線分の長さに対する交換則と結合則など)を命題として明示し証明する.さらに命題I・7とI・24を詳しく考察する.前者は命題I・8 (三辺合同)の補助定理であるが,異なる場合での証明には異なる命題が必要であり,後者では論理が飛躍しすぎていることを指摘する. | |||||
| 概要 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | In this paper, considerations are described on the first half of Volume I of Euclid's Elements. First, only 5 axioms (or 9 in the other references) are shown not to be sufficient to prove the first 26 propositions, then several additional axioms are proposed. Second, those facts implicitly used in the proof of each proposition are stated explicitly as propositions and proved as a result of the examinations of each of the 26 propositions. Thirdly, 2 Propositions, I・7 and I・24, among them are precisely examined. Consequently, it is shown that the former has to be separately proved for different cases and the latter has a large logical leap in its proof. | |||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | <特集>高木教典教授・井上宏教授・水越敏行教授定年退職記念 | |||||
| 書誌情報 |
情報研究 : 関西大学総合情報学部紀要 巻 20, p. 95-120, 発行日 2004-03-25 |
|||||
| ISSN | ||||||
| 収録物識別子タイプ | ISSN | |||||
| 収録物識別子 | 1341156X | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN10484636 | |||||
| 著者版フラグ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| 出版者 | ||||||
| 出版者 | 関西大学 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 関西大学 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | Kansai University | |||||
