
Re: Ordinals describable by a finite string of symbols
Posted:
Jul 10, 2013 2:03 PM


Sandy <sandy@hotmail.invalid> writes:
> Aatu Koskensilta wrote: > >> [...] For a language with a mathematically defined semantics  such >> as given by a truth definition for the language of set theory, analysis, > > In this context what is analysis? Second order Peano arithmetic?
Yes, we call, for not entirely clear reasons, secondorder arithmetic "analysis". This is mainly because we know most of the mathematical stuff that's involved in an upper level course in analysis can be done, in a coded form, in secondorder arithmetic.
 Aatu Koskensilta (aatu.koskensilta@uta.fi)
"Wovon man nicht sprechen kann, darüber muss man schweigen"  Ludwig Wittgenstein, Tractatus LogicoPhilosophicus

