The following pages link to (Q5536615):
Displaying 6 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)
- The roots of contemporary Platonism (Q3486536) (← links)
- Two Unpublished Contributions by Alfred Tarski (Q5308995) (← links)
- Models, structures, and the explanatory role of mathematics in empirical science (Q6187761) (← links)