Re: what makes it true?


>> 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?

Formal descriptions of formal systems? Via some set theory
(so I can talk about the set of statements, etc). Informally?
One step at a time.

--Dan Grubb
.

Relevant Pages

  • Re: Question: Given |X|>0 and |Y|>0, can X x Y be empty?
    ... be a language about describing formal systems. ... carried out in Z set theory. ... I don't know whether Z set theory can articulate every ...
    (sci.logic)
  • Re: Any 1st order formalizations of geometry?
    ... > does seem that, in formal systems, it is best to stick to ... > elementary theorems in logic and set theory, ... Szmielew, a good example of a very fine woman mathematician, until she ...
    (sci.math)
  • Re: what makes it true?
    ... >>mathematics. ... >Formal descriptions of formal systems? ... Via some set theory ... for forming formulae or for deriving new strings from the ones already ...
    (sci.math)
  • Re: Question: Given |X|>0 and |Y|>0, can X x Y be empty?
    ... be a language about describing formal systems. ... Read Martin Davis's chapter on formal systems in 'Computability And ... Unsolvability' and tell me what in that chapter you think can't be ... carried out in Z set theory. ...
    (sci.logic)
  • Re: What is dialectics?
    ... My philosophical opinion is that mathematical truth is competely ... truth is established within formal systems, ... quality. ... justify why mathematics might happen to be useful in some cases. ...
    (soc.politics.marxism)