著者
八杉 滿利子
出版者
科学基礎論学会
雑誌
科学基礎論研究 (ISSN:00227668)
巻号頁・発行日
vol.43, no.1-2, pp.17-30, 2016-03-30 (Released:2017-08-31)
参考文献数
17

In the early volumes of this journal, there are many articles in which the authors present their viewpoints on formalism, that is, on formal systems of mathematics and their relations to practices of mathematics. Their discussions may be condensed into the philosophical matters of substance and form, epistemology and ontology, for taking the stand of formalism must necessarily admit the substance behind it. I will take up some of the old articles which are concerned with formalism and formal systems and review them from my present standpoint, in order to excavate fresh and honest thoughts of our seniors and to see how the views on formalism and formal systems of mathematics in this journal have changed with the passage of time.

言及状況

外部データベース (DOI)

Twitter (3 users, 3 posts, 7 favorites)

ちなみに,こうした竹内の書いたものについては八杉先生の「『科学基礎論研究』に見られる「形式主義観」」(『科学基礎論研究』,2016年,https://t.co/wgcLhTXQrk)も参考になりました.

収集済み URL リスト