Pages that link to "Item:Q1220901"
From MaRDI portal
The following pages link to Intuitionistic views on the nature of mathematics (Q1220901):
Displaying 7 items.
- The seeming interdependence between the concepts of valid inference and proof (Q2288270) (← links)
- Conceptions of truth in intuitionism (Q3160445) (← links)
- Verificationism and the principle of non-contradiction (Q3220549) (← links)
- On a weakening of Markov's Principle (Q3315508) (← links)
- Heyting’s contribution to the change in research into the foundations of mathematics (Q4312340) (← links)
- A Notion of C-Justification for Empirical Statements (Q5213621) (← links)
- A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES (Q6072337) (← links)