Skip to Main content Skip to Navigation
Conference papers

The role of theoretical physics in research in constructive mathematics

Complete list of metadata

https://halshs.archives-ouvertes.fr/halshs-00792279
Contributor : Vincent Ardourel <>
Submitted on : Thursday, February 21, 2013 - 2:02:24 PM
Last modification on : Thursday, March 4, 2021 - 8:46:03 AM

Identifiers

  • HAL Id : halshs-00792279, version 1

Citation

Vincent Ardourel. The role of theoretical physics in research in constructive mathematics. From Practice to Results in Logic and Mathematics : An International Conference on the Roles of Practices in Shaping Results in Logic and Mathematics, Jun 2010, Nancy, France. ⟨halshs-00792279⟩

Share

Metrics

Record views

128