The Foundations of Mathematics as a Study of Life : An Effective but Non-Recursive Function(WHAT IS LIFE? THE NEXT 100 YEARS OF YUKAWA'S DREAM)

スポンサーリンク

概要

• 論文の詳細を見る

• The Dutch mathematician and philosopher L. E. J. Brouwer (1881-1966) developed a foundation for mathematics called 'intuitionism'. Intuitionism considers mathematics to consist in acts of mental construction based on internal time awareness. According to Brouwer, that awareness provides the fundamental structure to all exact thinking. In this note, it will be shown how this strand of thought leads to an intuitionistic function that is effectively computable yet non-recursive.

• 2008-08-08

著者

• VAN ATTEN

  Institut d'Histoire et de Philosophie des Sciences et des Techniques (CNRS Paris I ENS)

関連論文

• The Foundations of Mathematics as a Study of Life : An Effective but Non-Recursive Function(WHAT IS LIFE? THE NEXT 100 YEARS OF YUKAWA'S DREAM)

スポンサーリンク