Re: article on schools of foundations of mathematics

From: robert j. kolker (nowhere_at_nowhere.net)
Date: 01/23/05 

Date: Sun, 23 Jan 2005 16:27:17 -0500

George Cox wrote:

>
> Also mathematics goes beyond tautologies: not every theorem of first
> order logic is a tautology.

Give us a closed wff in FOL which is a theorem and not true under all
interpretations.

Bob Kolker

Relevant Pages

  • Re: article on schools of foundations of mathematics
    ... > Also mathematics goes beyond tautologies: ... Give us a closed wff in FOL which is a theorem and not true under all ...
    (sci.math)
  • Re: Robot Evolution
    ... that G_T is true and unprovable in T just in case T is consistent. ... Since this is a science group and not a mathematics group explaining this ... assumptions have to be deduced from non tautologies. ... be have no understanding, just a false understanding or even a correct ...
    (sci.bio.evolution)
  • Re: Revised Tautology FAQ - Thread-2
    ... it cannot even be meaningfully employed in mathematics. ...  To begin with, F, m, and a are considered by physicists ... Definitional tautologies; bachelors are unmarried males. ... When you interpret P as pressure, ...
    (talk.origins)
  • Re: OT: Solipsism
    ... >>But without the tautologies of algebra and differential calculus they ... >>are quite useless. ... in mathematics a tautology is a statement that is ... proof consists in convincing the reader that it is indeed a tautology. ...
    (rec.arts.books.tolkien)
  • Re: OT: Solipsism
    ... >>>But without the tautologies of algebra and differential calculus they ... in mathematics a tautology is a statement that is ... >proof consists in convincing the reader that it is indeed a tautology. ... Mathematics is built from axioms and rules of inference. ...
    (rec.arts.books.tolkien)