1 Department of Computer Science, Faculty of Science, Aarhus University, Aarhus University2 unknown
Proof Mining in Analysis
A central theme in the foundations of mathematics, dating back to D. Hilbert, can be paraphrased by the following question "How is it that abstract methods (`ideal elements´) can be used to prove `real´ statements e.g. about the natural numbers and is this use necessary in principle?"
Matilde (newsletter of the Danish Mathematical Society), 2002, Vol 13, p. 7-9