Live data from Hacker News

Intuitionism

en.wikipedia.org

91–100 of 179 posts

Re: Intuitionism

#91

Earlier quoted context omitted.

I don't think it does. Humans are agents within reality and have perceptions of reality. Your brain having a representation in this reality that might be different from 'true reality' doesn't change the argument at all.

I don't see how your perceptions can be anything other than a direct experience of reality interacting with itself unless you imagine that your mind is separated from reality somehow

We do have a direct experience with reality, but we are only capable of processing an approximate & infinitely simplified model of it.

When you take a picture of an apple, you have a picture of an apple, not the apple itself. Both are real and related, but not the same thing.

Re: Intuitionism

#92
post #37

Earlier quoted context omitted.

> fools us into thinking there is some inherent order -- which there isn't. Bold claim :) Even while maintaining a willful agnosticism about Platonic realism, it seems clear that the business of doing mathematics - intuitionistic or otherwise - depends on the ability to state and follow unambiguous rules, or else how to establish a proof within some axiomatic system or other? But if mathematicians have this ability,…

Thank you for your reply. I'll try some more! :) I noticed that in nature (i.e. in the physical universe) there appears to be no logic. There are not even two things exactly the same, as far as I can tell. So that lead me to believe that "counting" (or abstraction) is not even a property of the universe, but possibly only a human (or animal, or Turing machine) construct. To me, logic only starts to occur when a very…

There are not even two things exactly the same, as far as I can tell.

That is a common definition of identity, two things are the same if all their properties are the same. So by definition there can not be two different things with all their properties the same as this would make them indistinguishable and therefore the same thing. But if you relax this a bit, then for example elementary particles like electrons are - as far as we know - all completely identical up to their position, momentum and spin.

Re: Intuitionism

#93

This is post-modernism applied to math. It concludes in solipsism. Since the mind and its mental constructs are a part of the objective reality, they will end up describing aspects of objective reality. If they don't, they break down, become chaotic and incomprehensible to those grounded in the objective reality.

They don’t need to describe aspects of reality, they just need to describe something analogous that’s useful enough when applied.

I’m no physicist, but I understand that Newtonian physics aren’t strictly true as such, but they are a good enough analogy to put a person on a different planetary body.

So I think it’s fine to be agnostic and practical about the outcomes without needing say much about the metaphysics either way.

Anyway, both perspectives tickle my curiosity.

Re: Intuitionism

#94

This is post-modernism applied to math. It concludes in solipsism. Since the mind and its mental constructs are a part of the objective reality, they will end up describing aspects of objective reality. If they don't, they break down, become chaotic and incomprehensible to those grounded in the objective reality.

The offer of 'objective reality' as the antithesis to solipsistic mental constructs is exactly the naivety that give both of these impotent families of epistemology any continued sway. Both bad, both wrong, and the crowd swings from one to the other, and at each arrival, anew recognizes the flaws of the mode and turns back.

Re: Intuitionism

#95

This is post-modernism applied to math. It concludes in solipsism. Since the mind and its mental constructs are a part of the objective reality, they will end up describing aspects of objective reality. If they don't, they break down, become chaotic and incomprehensible to those grounded in the objective reality.

Intuitionism is not at all chaotic, though. It's a fully cogent way of doing math, it's just not a perfect overlap with traditional mathematics: some things you can prove intuitionistically that you cannot prove otherwise, and vice versa.

Re: Intuitionism

#96

Earlier quoted context omitted.

counterpoint: remove all blackboards and chalk, and paper and pencils. can you still do math?

Sure, it just takes a lot of remembering. But the point is that still that isn't "pure" mental activity. I am still imagining symbols and rules, those exist in reality at least as much as emotions do.

hmm, but imagining rules and symbols IS a pure mental activity, isn't it???

Re: Intuitionism

#97
post #2

I have liked intuitionism from the very moment I first heard about it. I often entertain the idea that all the patterns we observe are merely things that match our capability of understanding. This could explain the "unreasonable effectiveness of mathematics in the natural sciences". It may also help to guide us away from the "why is there something rather than nothing" problem. If existence is total chaos, then we a…

> fools us into thinking there is some inherent order -- which there isn't. Bold claim :) Even while maintaining a willful agnosticism about Platonic realism, it seems clear that the business of doing mathematics - intuitionistic or otherwise - depends on the ability to state and follow unambiguous rules, or else how to establish a proof within some axiomatic system or other? But if mathematicians have this ability,…

> mustn't this in turn depend on some pre-existing regularity (i.e. order) in the universe?

Yes. And such order exists within the observer, the mediators. We are measuring instruments. Scales are bound to the ruler and not to what’s being ruled. So mathematics represents order only in as much as there are people to validate it. Should all rulers be broken and forgotten, then there’s no measure at all. This is the same for those orders not yet established, that is, the future of science. Nevertheless, I do believe there’s a principle which allows order, but it’s not order itself, but a foundation of order, which I believe to be Unit. Unit is not mere duality, because duality implies two, Unit would be more like Cause-Effect, wherein one is the same as the other (either Cause-Cause, or Effect-Effect, doesn’t really matter). This is also different than yin-yang, since each is discrete, and discreetness itself cannot exist prior to Unit. I like to think that all numbers are qualities of Unit, and the whole of mathematical theories are different theories of Unit, so they will be consistent every time Unit is maintained consistently, when something “follows” from what has already “followed”, following some definition of “following”, whatever it may be. It would explain the effectiveness of mathematics in the sense that the whole Universe is Unit out of self-similar Unit. The fact that all of information can be encoded in 0s and 1s is a great illustration of the power of Unit, and the fact that binary streams only makes “sense” upon interpretation is a great illustration of consciousness, which is an expression of Bias. Even if the Universe would change so all of the physical “laws” would mutate, Unit would still persist unchanged. New things would still “follow”. I haven’t come across anyone realizing that a theory of “everything” can exist but be useless, just like the concept of “everything” is useless as a particularity, and theories aim to be particularly applicable, so a theory which really applies to every thing applies to no thing. This would be the utmost conclusion of Gödel‘s incompleteness. How would a theory of absolutely everything be different than an infinitely long ruler without any subdivisions, or even with infinitely many zero-spaced subdivisions? One wouldn’t be able to measure any particular thing with such universal ruler.

Re: Intuitionism

#98
post #77

Paraphrasing a math professor I had [mumble] decades ago: "In theory, mathematics is all pure & abstract logic, with no connection whatsoever to the real world. "In practice, if you want funding for your mathematical research, or for more than a puny handful of people to ever look at what you did, then you had best pay plenty of attention to the real-world usefulness of it."

> In theory, mathematics is all pure & abstract logic, with no connection whatsoever to the real world. I understand what your math professor was trying to communicate, but at the same time, I think framing things this way begs the question that mathematical entities are not "real". It's more accurate (or at least less question begging) to say something like "mathematics, or mathematical objects, doesn't seem to have…

I imagine that my old prof. would say something like: "Mathematicians agreed long ago on a very short and exacting definition for 'real' numbers, and got on with doing useful work. Philosophers never agree on short nor exacting definitions for anything, and certainly don't want to do anything useful."

Re: Intuitionism

#99

This is post-modernism applied to math. It concludes in solipsism. Since the mind and its mental constructs are a part of the objective reality, they will end up describing aspects of objective reality. If they don't, they break down, become chaotic and incomprehensible to those grounded in the objective reality.

They don’t need to describe aspects of reality, they just need to describe something analogous that’s useful enough when applied. I’m no physicist, but I understand that Newtonian physics aren’t strictly true as such, but they are a good enough analogy to put a person on a different planetary body. So I think it’s fine to be agnostic and practical about the outcomes without needing say much about the metaphysics eith…

For sure.

I'm of the "all models are wrong, some models are useful" school of thought. My best guess is that the platonic-ideals-are-real folks are mistaking something in their head for something outside it. That's not to deny that there is an objective reality out there, just that I have no particular reason to think that it's perfectly representable in 3 pounds of primate headmeat and expressible by squirting air through our meat-flaps. [1]

But ultimately, it doesn't matter too much to me, because the practical utility of both models is pretty high. It does make me wish to meet intelligent beings from different evolutionary backgrounds, though, as I think there would be a lot of "So you think what exactly?" that would be very revealing about which things are pan-human quirks and which are more universal.

[1] Credit goes to Terry Bisson here for the last bit: https://www.mit.edu/people/dpolicar/writing/prose/text/think...

Re: Intuitionism

#100

This is post-modernism applied to math. It concludes in solipsism. Since the mind and its mental constructs are a part of the objective reality, they will end up describing aspects of objective reality. If they don't, they break down, become chaotic and incomprehensible to those grounded in the objective reality.

The offer of 'objective reality' as the antithesis to solipsistic mental constructs is exactly the naivety that give both of these impotent families of epistemology any continued sway. Both bad, both wrong, and the crowd swings from one to the other, and at each arrival, anew recognizes the flaws of the mode and turns back.

Beautifully put.
Post reply on HN