2015 Fiscal Year Final Research Report
Philosophy of Computation: Towards Various Developements
| Project/Area Number |
24320008
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Partial Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Philosophy/Ethics
|
|---|
| Research Institution | Kyoto Sangyo University |
|---|
Principal Investigator |
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
OZAWA Masanao 名古屋大学, 情報科学研究科, 教授 (40126313)
TODAYAMA Kazuhisa 名古屋大学, 情報科学研究科, 教授 (90217513)
NAKAHARA Mikio 近畿大学, 理工学部, 教授 (90189019)
GUNJI Yukio 早稲田大学, 理工学術院, 教授 (40192570)
HIGAKI Tatsuya 大阪大学, 人間科学研究科, 教授 (70242071)
YATABE Shunsuke 京都大学, 文学研究科, 講師 (70379337)
|
|---|
| Research Collaborator |
OJIMA Izumi
HOSOYA Akio 東京工業大学, 名誉教授
YIDUN Wan Perimeter Institute of Theoretical Physics
MURAKAMI Yuko 東北大学, 国際交流室, 准教授
NATSUDA Masakazu , 作曲家
SHIOTANI Ken , 哲学者
|
|---|
| Project Period (FY) |
2012-04-01 – 2016-03-31
|
| Keywords | 計算の哲学 / 量子論 / 論理学 / 圏論 / 音楽の哲学 |
|---|
| Outline of Final Research Achievements |
As a part of the "Philosophy of Computation" project, we concentrate various connections to other areas: physics, logic, mathematics,biology, music, etc. Among them, we found remarkable relation to quantum physics mainly by Ozawa, Nakahara, Ojima, Hosoya, Miyoshi.Such topics we picked up in this project are quantum set theory,quantum computing, weak values, and categorical quantum logic. On logical and Mathematical research, we investigated several non-standard logics and foundation of mathematics by Yatabe and Miyoshi. Higaki thought of and wrote about the relation to French and Japanese philosophy. More ambitiously we collaborated with a modern classical music composoer Mr. Masakazu Natuda. This direction is still on the initial stage.
|
| Free Research Field |
数理論理学，理論コンピュータ科学，圏論，計算の哲学
|
