著者
稲岡 大志
出版者
The Philosophy of Science Society, Japan
雑誌
科学哲学 (ISSN:02893428)
巻号頁・発行日
vol.47, no.1, pp.67-82, 2014-07-30 (Released:2015-07-24)
参考文献数
21

In this paper, we would present an overview of the recent studies on the role of diagram in mathematics. Traditionally, mathematicians and philosophers had thought that diagram should not be used in mathematical proofs, because relying on diagram would cause to various types of fallacies. But recently, some logicians and philosophers try to show that diagram has a legitimate place in proving mathematical theorems. We would review such trends of studies and provide some perspective from viewpoint of philosophy of mathematics.

言及状況

外部データベース (DOI)

はてなブックマーク (2 users, 2 posts)

Twitter (11 users, 12 posts, 22 favorites)

図形推論と数学の哲学――最近の研究から https://t.co/tOHnV3zhog
Survey on the Recent Studies of the Role of Diagrams in Mathematics from the Viewpoint of Philosophy of Mathematics https://t.co/noobzjoaca
「@temmusu_n がリツイート」「読んだ?」QT … ユークリッドの幾何の現代的公理化… http://t.co/qOAVYTKVSq 2009年のアヴィガドによる形式化… https://t.co/WAX369pVQ4 @genkuroki @kamo_hiroyasu
稲岡大志 「図形推論と数学の哲学―最近の研究から」 https://t.co/k2kfrcGfAN {3 ユークリッド幾何学の二つの形式化 1 ヒルベルトの『幾何学の基礎』 2 アヴィガド的形式化……図形に固有の推論機能を与えた上で、ユークリッド幾何学の形式化をおこなう研究}
ユークリッドの幾何の現代的公理化について、こんなのもあります http://t.co/oZmcwfro2B 2009年のアヴィガドによる形式化です。 日本語の解説はこちら: https://t.co/idAThBViDs @genkuroki @kamo_hiroyasu

収集済み URL リスト