Founding Mathematics on Semantic ConventionsIntuitionism and Choice Sequences
Founding Mathematics on Semantic Conventions: Intuitionism and Choice Sequences
Hansen, Casper Storm
2021-11-05 00:00:00
[This chapter deals with intuitionism. According to L.E.J. Brouwer, it is possible to have a mathematics with an austere ontological basis of mental acts, and nevertheless accept undefinable real numbers. That is allegedly made possible by freely-proceeding choice sequences, i.e., sequences created through repeated random choices of elements by a creating subject, in a potentially infinite process. The author argues that we are not as fortunate as Brouwer thought.]
http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.pnghttp://www.deepdyve.com/lp/springer-journals/founding-mathematics-on-semantic-conventions-intuitionism-and-choice-Oaqz6B8Ryz
Founding Mathematics on Semantic ConventionsIntuitionism and Choice Sequences
[This chapter deals with intuitionism. According to L.E.J. Brouwer, it is possible to have a mathematics with an austere ontological basis of mental acts, and nevertheless accept undefinable real numbers. That is allegedly made possible by freely-proceeding choice sequences, i.e., sequences created through repeated random choices of elements by a creating subject, in a potentially infinite process. The author argues that we are not as fortunate as Brouwer thought.]
Published: Nov 5, 2021
Recommended Articles
Loading...
There are no references for this article.
Share the Full Text of this Article with up to 5 Colleagues for FREE
Sign up for your 14-Day Free Trial Now!
Read and print from thousands of top scholarly journals.
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.