The foundations of mathematics as a study of life: an effective but non-recursive function - HAL Accéder directement au contenu
Article dans une revue Progress in Theoretical Physics Année : 2008

The foundations of mathematics as a study of life: an effective but non-recursive function

Résumé

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.
Loading...
Fichier non déposé

Dates et versions

halshs-00791006, version 1 (21-02-2013)

Identifiants

  • HAL Id : halshs-00791006 , version 1

Citer

Mark van Atten. The foundations of mathematics as a study of life: an effective but non-recursive function. Progress in Theoretical Physics, 2008, 173, pp.38-47. ⟨halshs-00791006⟩
85 Consultations
0 Téléchargements
Dernière date de mise à jour le 28/04/2024
comment ces indicateurs sont-ils produits

Partager

Gmail Facebook Twitter LinkedIn Plus