Pages that link to "Item:Q2441736"
From MaRDI portal
The following pages link to Experimental mathematics, computers and the a priori (Q2441736):
Displaying 9 items.
- Pi on earth, or mathematics in the real world (Q948981) (← links)
- Computational empiricism (Q1571125) (← links)
- Trial and error mathematics: Dialectical systems and completions of theories (Q3120211) (← links)
- (Q3471710) (← links)
- The Epistemological Status of Computer-Assisted Proofs (Q3616422) (← links)
- (Q4449438) (← links)
- Computers as a Source of A Posteriori Knowledge in Mathematics (Q5006632) (← links)
- A Rational Reconstruction of a System for Experimental Mathematics (Q5428256) (← links)
- ``The end of proof''? The integration of different mathematical cultures as experimental mathematics comes of age (Q6599270) (← links)