The following pages link to Reverse formalism 16 (Q2054114):
Displaying 8 items.
- A footnote to ``The crisis in contemporary mathematics'' (Q1635798) (← links)
- Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics (Q1654210) (← links)
- On mathematical realism and applicability of hyperreals (Q2323044) (← links)
- Infinitesimal analysis without the axiom of choice (Q2662699) (← links)
- RSSA: A Reversible SSA Form (Q3179177) (← links)
- The unreasonable effectiveness of Nonstandard Analysis (Q5108034) (← links)
- Two-track depictions of Leibniz's fictions (Q6169811) (← links)
- Multi-level nonstandard analysis and the axiom of choice (Q6595732) (← links)