Goodreads helps you follow your favorite authors. Be the first to learn about new releases!
Start by following Aden Evens.
Showing 1-1 of 1
“Brouwer did not want free choice sequences to subject the mathematics to the caprice of the mathematician, as though the results of the calculus depend on just which choices the mathematician chooses to make. Rather, choice in intuitionism has a Nietzschean resonance, in that every choice gets made. Proofs involving free choice sequences do not take for granted any particular choice; they assume only that some choice gets made, and that some are still to be made.”
―
―
