The following pages link to (Q5536615):
Displaying 4 items.
- On the status of proofs by contradiction in the seventeenth century (Q1182171) (← links)
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
- Forcing, Multiverse and Realism (Q3295824) (← links)
- Models, structures, and the explanatory role of mathematics in empirical science (Q6187761) (← links)
