Re: subroutine stack and C machine model

On Nov 18, 4:49 pm, Phil Carmody <thefatphil_demun...@xxxxxxxxxxx>
wrote:
Seebs <usenet-nos...@xxxxxxxxx> writes:
On 2009-11-16, Hektor Rottweiler <spinoza1...@xxxxxxxxx> wrote:
No, you're wrong. A careful writer would not call a text "clear" if he
thought it full of errors.

You keep saying this, but:

* The dictionary disagrees with you.
* So does the dictionary you said agreed with you.
* So does every other dictionary we've yet been able to find.

And *more* importantly - common usage amongst users of the language.

If something that was full of errors couldn't be clear, then the
phrases 'clearly wrong' and 'clearly full of errors' would make no
sense.w

"Clearly wrong" means "the statement or text x that declares 'the
statement or text y is wrong' is true and it is clear". It does not
EVER mean that "the statement or text y is clear and wrong".

In mathematics, clarity has only one meaning, and that is validity.
Mathematics considers the clear to be true and when it doesn't seem to
be so, mathematicians like to make it so. A good example would be the
expansion of the natural numbers to include zero, negative numbers,
rationals, reals and ultimately complex numbers.

To the Romans, zero was unclear and assertions about it false or
meaningless. Then arithmetic was further refined and now it's clear
what zero does.

"The square root of -1" was unclear and now is clear.

A proof in mathematics cannot be clear and wrong. This is because at
the point of failure, it is unclear.

A clear and true statement corresponds to a unique meaning (cf
Husserl) where a "meaning" is the concept or idea which lies outside
the text. An unclear statement, even in ordinary parlance, corresponds
to > 1 meaning such that they can't all be true.

p & ~p, 1+1=3, have no correspondence with meaning.

Phil
--
Any true emperor never needs to wear clothes. -- Devany on r.a.s.f1

.

Relevant Pages

  • Re: X = Z
    ... travel a path and return to its beginning, a goal of mathematics is ... that have otherwise generally canonical meaning. ... the fundamental discovery of truth in mathematics, ... appear on the subject of 'primes' above and below mine, ...
    (sci.math)
  • Re: X = Z
    ... travel a path and return to its beginning, a goal of mathematics is ... that have otherwise generally canonical meaning. ... Fashion has nothing to do with truth. ... appear on the subject of 'primes' above and below mine, ...
    (sci.math)
  • Re: truth/falsity of sentences in first-order logic
    ... a lot of what he said, like "Truth has nothing to do with models." ... the notion that a formula doesn't have a meaning ... mathematics, and anything that's technically wrong at the foundation ... of reasoning could "sink the ship of reasoning", ...
    (sci.logic)
  • Re: How do We Know that ZF is the Axiomatization that Proves everything Provable?
    ... formalize or shrink these results.) ... whether it's a valid proof according to CBL? ... meaning "Turing Machine a halts no on input b at iteration number c", ... untethered to any real mathematics. ...
    (sci.logic)
  • Re: Choice sequences, intuition, etc
    ... specifying a different method of constructing the sequence, ... Regarding Bishop, ... axiom systems for mathematics that are weaker. ... Somehow the distinction in meaning between an implication ...
    (sci.logic)