Discover new books on Goodreads
See if your friends have read any of Arend Heyting's books
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.”
―
―