Re: Comic Book Viewer

John Cartmell wrote:

You may try to use the "proof of the pudding" sense of "proof", but,
in this context, "proof" has a specific meaning.

Look up 'prove' in a good dictionary. Although the meaning has wandered
through contamination with the technical logical term it's common English
meaning is identical to that of the word 'probe' - as in test/(attempt to)
verify.

By "good dictionary" do you mean one that specialises on the subject
we're discussing? (which will disagree with you), or a general
dictionary like the OED (which agrees with you, but isn't relevant)?

Try this from the Oxford Dictionary of Computing:

proof, n. Informally, a form of deduction associated with a deductive
logic. More formally, when applied to a formal system F, a proof is a
sequence of well-formed formulas with each item in the sequence being
either an axiom of F or being derived from previous items through the
application of an inference rule of F.

B.
.

Relevant Pages

  • 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)
  • Re: an true information theory
    ... If a message has meaning then it has structure and will show a pattern. ... if there is a pattern in the sequence of numbers. ... solve the halting problem, which is uncomputable. ...
    (sci.math)
  • Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity
    ... >> except equipollent may have a different meaning than that there ... > sequence of application of derivation rules; ... > ordering is a well-ordering? ... "uncountability of the reals", or rather, I do. ...
    (sci.math)
  • Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity
    ... >> except equipollent may have a different meaning than that there ... > sequence of application of derivation rules; ... > ordering is a well-ordering? ... "uncountability of the reals", or rather, I do. ...
    (sci.logic)
  • Re: Cantor Confusion
    ... of a natural number which does not belong to a finite sequence. ... Cantor invented omega and defined omega as a whole number. ... Who changed this standard meaning? ... In the sequence of ordinals, starting with and minimally closed under ...
    (sci.math)