Pages that link to "Item:Q3305627"
From MaRDI portal
The following pages link to On the Constructive and Computational Content of Abstract Mathematics (Q3305627):
Displaying 5 items.
- On abstraction and the importance of asking the right research questions: could Jordan have proved the Jordan-Hölder theorem? (Q948980) (← links)
- The Arché papers on the mathematics of abstraction (Q1014924) (← links)
- Truth, proof and infinity. A theory of constructions and constructive reasoning (Q1273591) (← links)
- (Q4914853) (← links)
- Abstraction, Axiomatization and Rigor: Pasch and Hilbert (Q5214682) (← links)