Re: what makes it true?

grubb@xxxxxxxxxxxxxxxxx (Daniel Grubb) writes:

> Outside of *some* formal system, I don't know what 'and so on'
> means.

You don't? Then I don't see how you can understand anything in
mathematics. For example, how can you understand descriptions
of formal systems?




.

Relevant Pages

  • Re: Constructive Math query.
    ... pa@xxxxxxxxxxxxxxxxxxxxx (Pierre Asselin) writes: ... There isn't a formal system to corral the ... There's no difference between classical and constructive mathematics ... Prev by Date: ...
    (sci.logic)
  • Re: Constructive Math query.
    ... There isn't a formal system to corral the ... > There's no difference between classical and constructive mathematics ... pa at panix dot com ... Prev by Date: ...
    (sci.logic)
  • Re: what makes it true?
    ... >formal system to somebody who doesn't already know what is meant ... a definition in mathematics is for. ... --Dan Grubb ... Prev by Date: ...
    (sci.math)
  • Re: Epistemology 201: The Science of Science
    ... >>But maths is a formal system, or at least there is a formal system of ... >>mathematics, and rules of inference that describe legal moves from one ... >>the axioms of maths. ... > Given a particular system of axioms, say PA, ...
    (sci.math)
  • Re: Epistemology 201: The Science of Science
    ... >>But maths is a formal system, or at least there is a formal system of ... >>mathematics, and rules of inference that describe legal moves from one ... >>the axioms of maths. ... > Given a particular system of axioms, say PA, ...
    (sci.cognitive)