[FOM] Hadamard's principle

[Bas Spitters]

On Thursday 10 February 2005 09:34, Bas Spitters wrote:
> On Thursday 10 February 2005 03:05, Jeffery Zucker wrote:
> > I would like to refer, at least briefly,
> > to what is known as "Hadamard's principle".
>
> Here is what Micheal Beeson (Foundations of constructive mathematics, p368)
> writes about this
>[snip]

Here I was just trying to give a reference to Hadamard's writings about the 
connection between continuity and computation. As Jesper Carlström mentioned 
to me offlist, one could also read your question as: what is the earliest 
connection between continuity and computation. In this case at least Brouwer 
seems to have been earlier: Beeson (p369) refers to a paper by Brouwer from 
1918, in the second paragraph of p160 of Brouwers collected works.

So depending on what you are looking for you might want to call it: the 
Brouwer principle, the Brouwer-Hadamard principle or the Hadamard principle.

Bas

-------------------------------------------------------
Research Group Foundations/ Institute for Computing and Information Sciences
Radboud University Nijmegen www.cs.kun.nl/~spitters/
P.O.box 9010, NL-6500 GL Nijmegen, The Netherlands.
spitters at cs.ru.nl Ph:+31-24-3652631 F:+31-24-3652525 Room: A5024