Sign in with Facebook
Arend Heyting’s Followers (2)
Arend Heyting
Born
in Amsterdam, Netherlands
May 09, 1898
Died
July 08, 1980
More books by Arend Heyting…
“[Brouwer’s] construction of intuitionist mathematics is nothing more nor less than an investigation of the utmost limits which the intellect can attain in its self-unfolding.”
―
―
“A mathematical proposition expresses a certain expectation. For example, the proposition, “Euler constant C is rational” expresses the expectation that we could find two integers a and b such that C = a/b. Perhaps, the word “intention”, coined by the phenomenologists, expresses even better what is meant here.”
―
―
“[T]he only admissible notion of truth is one directly connected with our capacity for recognising a statement as true: the supposition that a statement is true is the supposition that there is a mathematical construction constituting a proof of that statement.”
―
―
