Mathematics is independent of logic.
Dutch mathematician and logician (1881–1966)
He proved you can't fully stir a cup of coffee — every rotation leaves at least one point unmoved. That fixed-point theorem made him a founder of modern topology, but his deeper fight was over what mathematics even is.
Luitzen Egbertus Jan Brouwer was born in the Netherlands on 27 February 1881 and trained as a mathematician, carving out fundamental results in topology, set theory, measure theory, and complex analysis. His fixed-point theorem and proof that topological dimension is invariant became cornerstones of 20th-century mathematics. But in 1905 he published "Life, Art, and Mysticism," signaling a philosophical turn: he came to champion intuitionism, the view that mathematics is a mental construction, not discovered truth waiting in some Platonic realm. That conviction ignited the Brouwer–Hilbert contr…
Sourced, dated quotes from L. E. J. Brouwer
Mathematics is independent of logic.
The words of... mathematical demonstration merely accompany a mathematical construction that is effected without words. At the point where you enounce...
Logic depends upon mathematics.
With which mathematical notions a spoken or written symbol will be made to correspond... will... differ according to the milieu.
[I]t is easily conceivable that, given the same organization of the human intellect and...
No platforms connected yet.
The six component signals behind the Fame score, and their ranks across the leaderboards.
Similar profiles worth watching