aboutlogic: premises #01 | Is Math a Story? A Constructivist Perspective and Captain Ahab's Dilemma

Uh, would you like to elaborate how you see the issue?

Yeah.

So it's a, it's ...

On the one hand, it's a reaction to this idea, Platonic idea, that mathematics is somehow real and, um, it's there already and, and we are just discovering it.

I'm not ...

I, I don't buy this, uh, for, for a number of reasons.

I mean, it seems to be clear to me that mathematics is sort of evolving.

Uh, it's, it's, it's, it's not, it's not one thing.

It's, it's something fluid, and it's part of our cultural evolution, I would say.

Yeah.

And so hence, so this, this idea as a sort of ...

I think this idea is this, this Platonic idea is related to the idea of, of sort of God.

I mean, uh, okay, we may not believe in God as a person, but we believe, uh, in, in a sort of replacement, like there is this, the, the mathematics as sort of a fundamental God-like principle, uh, permeating, uh, the world.

And, and I, I, I, I, I, I, I don't ...

It's not something I, I, I, I feel is right, basically.

Yeah.

I, I mean, there are quite some interesting thoughts in there.

I mean, first mathematics as culture, I find this hugely interesting, and I think that the new AI technologies will force us to take this more serious, that math, there is the culture there.

It's not about proving stuff only or it's not like the natural sciences, um, but more like the humanities.

And the other, um, I mean, you're doing constructive math.

In constructive math, in Bishop style analysis, there's this principle of God, right? If you have an unknowa- uh, uh, all-knowing being-

Mm-hmm

... things change.

Mm-hmm.

And then you don't have this, uh, fluidness.

Uh, would you like to elaborate how you see the issue?

Yeah.

So it's a, it's ...

On the one hand, it's a reaction to this idea, Platonic idea, that mathematics is somehow real and, um, it's there already and, and we are just discovering it.

I'm not ...

I, I don't buy this, uh, for, for a number of reasons.

I mean, it seems to be clear to me that mathematics is sort of evolving.

Uh, it's, it's, it's, it's not, it's not one thing.

It's, it's something fluid, and it's part of our cultural evolution, I would say.

Yeah.

And so hence, so this, this idea as a sort of ...

I think this idea is this, this Platonic idea is related to the idea of, of sort of God.

I mean, uh, okay, we may not believe in God as a person, but we believe, uh, in, in a sort of replacement, like there is this, the, the mathematics as sort of a fundamental God-like principle, uh, permeating, uh, the world.

And, and I, I, I, I, I, I, I don't ...

It's not something I, I, I, I feel is right, basically.

Yeah.

I, I mean, there are quite some interesting thoughts in there.

I mean, first mathematics as culture, I find this hugely interesting, and I think that the new AI technologies will force us to take this more serious, that math, there is the culture there.

It's not about proving stuff only or it's not like the natural sciences, um, but more like the humanities.

And the other, um, I mean, you're doing constructive math.

In constructive math, in Bishop style analysis, there's this principle of God, right? If you have an unknowa- uh, uh, all-knowing being-

Mm-hmm

... things change.

Mm-hmm.

And then you don't have this, uh, fluidness.