|
2
|
PLURALISM IN MATHEMATICS
– E. B. Davies
- 2004
|
|
|
ARISTOTELIAN REALISM
– James Franklin
|
|
|
The Classification of the Finite Simple Groups: An Overview
– Javier Otal
- 2004
|
|
|
DEFORMATIONS OF SIMPLE FINITE GROUP SCHEMES
– Filippo Viviani
- 705
|
|
|
Simple finite group schemes and their infinitesimal deformations
– unknown authors
- 811
|
|
6
|
Mathematical proofs at a crossroad
– Cristian S. Calude, Solomon Marcus
- 2004
|
|
|
Mathematics: Truth and Fiction?
– Review Of Mark, Mark Colyvan, Mark Colyvan, Edward N. Zalta, Edward N. Zalta
- 1999
|
|
1
|
2010a, “Evolution without Naturalism
– Elliott Sober, Bence Nanay, Peter Nichols, Er Paseau, Er Rosenberg, Michael Ruse
|
|
3
|
Reflections on Skolem's Paradox
– Timothy Bays
|
|
6
|
Computers, Reasoning and Mathematical Practice
– Ursula Martin
|
|
|
Reviewed by E Brian Davies,
– Department Of Mathematics
|
|
11
|
The challenge of computer mathematics
– Henk Barendregt, Freek Wiedijk
- 2005
|
|
2
|
Cauchy nets in the constructive theory of apartness spaces
– Douglas Bridges
- 2002
|
|
1
|
Adjoints, absolute values and polar decompositions
– Douglas Bridges, Fred Richman, Peter Schuster, Communicated William, B. Arveson
|
|
2
|
Constructive Order Completeness
– Marian Alexandru Baroni
- 2004
|
|
2
|
A Constructive Theory of Point-Set Nearness
– Luminita Vita, Douglas Bridges
- 2001
|
|
2
|
Constructive Analysis with Witnesses
– Helmut Schwichtenberg
|
|
|
Did Brouwer Really Believe That?
– Douglas S. Bridges
- 2007
|
|
3
|
The Constructive Implicit Function Theorem and Applications in Mechanics
– Douglas Bridges, Cristian Calude, Boris Pavlov, Doru Stefanescu, D. Bridges, C. Calude, B. Pavlov
- 1997
|
