ダウンロード数: 286
このアイテムのファイル:
ファイル | 記述 | サイズ | フォーマット | |
---|---|---|---|---|
B69-17.pdf | 5.25 MB | Adobe PDF | 見る/開く |
タイトル: | B. Bolzanoの数学における無限と集合 (The study of the history of mathematics 2016) |
その他のタイトル: | B. Bolzano's Infinity and Sets in the Mathematics (The study of the history of mathematics 2016) |
著者: | 伊藤, 美香 |
著者名の別形: | Ito, Mika |
キーワード: | 01-08 01A50 01A55 01A67 Infinity Sets Real Number Compactness Homotopy Type Theory Computability Theory Proof Theory Model Theory |
発行日: | Apr-2018 |
出版者: | Research Institute for Mathematical Sciences, Kyoto University |
誌名: | 数理解析研究所講究録別冊 |
巻: | B69 |
開始ページ: | 201 |
終了ページ: | 208 |
抄録: | In the field of computer science, it has been often discussed that formalization of Matehematics. In spite of the concern over sets has risen, little attention has been given B.Bolzano's infity and sets. What is to be noted is 'eine unendliche Vielheit' which regarded as 'infinity of finitery sets' in the mathematics. R.Dedekind holds the same atitude that in the in this aspects. Inaddition, it should also be emphasized that compactness. It is based on Model Theory. Compactness is one of the real number products. It can be said B.Bolzano's infinity clarifies essence of real number. The same sets is true for mathematics. This study make contribution to a better understanding of sets in the computer science. |
記述: | "The study of the history of mathematics 2016". August 29~September 1, 2016. edited by Shigeru Jochi. The papers presented in this volume of RIMS Kôkyûroku Bessatsu are in final form and refereed. |
著作権等: | © 2018 by the Research Institute for Mathematical Sciences, Kyoto University. All rights reserved. |
URI: | http://hdl.handle.net/2433/243744 |
出現コレクション: | B69 The study of the history of mathematics 2016 |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。