Le probl\`eme intensionnel de la quantification chez Hilbert (The intensional problem of quantification in Hilbert)
Jean Petitot

TL;DR
This paper surveys Hilbert's Epsilon operator, emphasizing the intensional semantics and exploring related epistemological issues from historical and philosophical perspectives.
Contribution
It provides a comprehensive overview of the intensional aspects of Hilbert's epsilon operator and discusses its epistemological implications across different philosophical viewpoints.
Findings
Highlights the intensional nature of Hilbert's epsilon operator
Connects historical and philosophical debates on semantics
Identifies unresolved epistemological questions
Abstract
The paper (in French) presents a survey of Hilbert's Epsilon operator focusing on the intensional aspects of its semantics. It comments on some epistemological problems, from Albert Lautman in the 1930s to John Bell, Grigori Mints, Barry Hartley Slater, Richard Zach or Edward Zalta in the 1990s.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsHomotopy and Cohomology in Algebraic Topology · Advanced Algebra and Logic · Advanced Operator Algebra Research
