The following pages link to Discussing Hilbert's 24th problem (Q5204805):
Displaying 9 items.
- Discussing the ``big \(n\) problem'' (Q257439) (← links)
- The calculus of natural calculation (Q2062198) (← links)
- The intensional structure of epistemic convictions (Q2234051) (← links)
- Remarks on Hilbert's 23rd problem (Q2564020) (← links)
- Hilbert’s Axiomatisches Denken (Q5057047) (← links)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
- Mathematizing as a virtuous practice: different narratives and their consequences for mathematics education and society (Q6182827) (← links)
- Virtue theory of mathematical practices: an introduction (Q6187756) (← links)
- Ontological purity for formal proofs (Q6552264) (← links)