Peter Kirby

The statement I speak of is:

/** In C++ **/ ( a == a );

My questions are:

1. Is this an analytic statement?
2. Is the statement true?

You can ask me any questions you want about what *I* mean about the statement and its context. Or you can choose not to do so.

You can also look up the history and language of C++. You can look up the history of other languages.

It helps if you understand programming, naturally.

Let the games begin!

best,
Peter Kirby

PS, for extra credit, compute ( a[ i ] == *(a + i) ) and compare the results.

Witt

Peter Kirby The statement I speak of is:

/** In C++ **/ ( a == a );

My questions are:

Peter Kirby:
1. Is this an analytic statement?

Yes, it is clearly analytic, i.e. it is tautologous or it is contaradictory
AF(Fx <-> Fy) is not synthetic.

Peter Kirby:
2. Is the statement true?

That depends on the basis of the logic that you choose.
x=x is valid in classical logig, but, it is not valid in 'free' logic, i.e. a logic free from the existential assumtions of classical logic.

To suggest that it must be true or false is an illusion.

Computers are 'designed' logical devises not mathematical devises.
We construct mathematical things out of logical things.

Peter Kirby:
You can ask me any questions you want about what *I* mean about the statement and its context. Or you can choose not to do so.

That, is self evident.


Peter Kirby:
You can also look up the history and language of C++. You can look up the history of other languages.
It helps if you understand programming, naturally.

IT, is an issue of logic/mathematics not programming.

Programming is a consequence of logic, not the other way around!

Witt

Peter Kirby

Programming is life imitating artifice imitating life.

best,
Peter Kirby

Witt

Complete nonsense!

Witt

You seem to have a particular 'reverence' for programming.

It is not the case that, programming is profound, in any sense!

IT is a consequence of mathematical reasoning, period.

Witt

Peter Kirby

My life would make no sense if I did not believe in programming.

best,
Peter Kirby

Witt

What do you mean by 'programming'

Surely it, by any definition, is not that which is.

Witt

Peter Kirby

Programming and "reverse programming" is what I do almost every day that I am alive.

best,
Peter Kirby

Peter Kirby

Mathematics is both prescriptive and descriptive.

best,
Peter Kirby

Gurdur

Peter, your life is your own; it needs no further justification.
If you will pardon me, you are more in need of genuine friendship and fellowship than programming metaphors for life or analytical crusades; and I wish you all the very best of luck.
Gurdur