ダウンロード数: 292
このアイテムのファイル:
| ファイル | 記述 | サイズ | フォーマット | |
|---|---|---|---|---|
| B69-17.pdf | 5.25 MB | Adobe PDF | 見る/開く |
完全メタデータレコード
| DCフィールド | 値 | 言語 |
|---|---|---|
| dc.contributor.author | 伊藤, 美香 | ja |
| dc.contributor.alternative | Ito, Mika | en |
| dc.contributor.transcription | イトウ, ミカ | ja-Kana |
| dc.date.accessioned | 2019-08-26T00:30:21Z | - |
| dc.date.available | 2019-08-26T00:30:21Z | - |
| dc.date.issued | 2018-04 | - |
| dc.identifier.issn | 1881-6193 | - |
| dc.identifier.uri | http://hdl.handle.net/2433/243744 | - |
| dc.description | "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. | en |
| dc.description.abstract | 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. | en |
| dc.format.mimetype | application/pdf | - |
| dc.language.iso | jpn | - |
| dc.publisher | Research Institute for Mathematical Sciences, Kyoto University | en |
| dc.publisher.alternative | 京都大学数理解析研究所 | ja |
| dc.rights | © 2018 by the Research Institute for Mathematical Sciences, Kyoto University. All rights reserved. | en |
| dc.subject | 01-08 | en |
| dc.subject | 01A50 | en |
| dc.subject | 01A55 | en |
| dc.subject | 01A67 | en |
| dc.subject | Infinity Sets | en |
| dc.subject | Real Number | en |
| dc.subject | Compactness | en |
| dc.subject | Homotopy Type Theory | en |
| dc.subject | Computability Theory | en |
| dc.subject | Proof Theory | en |
| dc.subject | Model Theory | en |
| dc.subject.ndc | 410 | - |
| dc.title | B. Bolzanoの数学における無限と集合 (The study of the history of mathematics 2016) | ja |
| dc.title.alternative | B. Bolzano's Infinity and Sets in the Mathematics (The study of the history of mathematics 2016) | en |
| dc.type | departmental bulletin paper | - |
| dc.type.niitype | Departmental Bulletin Paper | - |
| dc.identifier.ncid | AA12196120 | - |
| dc.identifier.jtitle | 数理解析研究所講究録別冊 | ja |
| dc.identifier.volume | B69 | - |
| dc.identifier.spage | 201 | - |
| dc.identifier.epage | 208 | - |
| dc.textversion | publisher | - |
| dc.sortkey | 17 | - |
| dc.address | 三重大学非常勤講師 | ja |
| dc.address.alternative | Mie University | en |
| dcterms.accessRights | open access | - |
| dc.identifier.pissn | 1881-6193 | - |
| dc.identifier.jtitle-alternative | RIMS Kokyuroku Bessatsu | en |
| 出現コレクション: | B69 The study of the history of mathematics 2016 | |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。