Date: Aug 20, 2013 11:38 PM
Author: William Elliot
Subject: Re: Foundations of mathematics... the order of bootstrapping the<br> foundations
On Tue, 20 Aug 2013, Zeit Geist wrote:
> On Tuesday, August 20, 2013 8:13:02 PM UTC-7, William Elliot wrote:
> > On Tue, 20 Aug 2013, Lax Clarke wrote:
> > > Please correct me if I'm wrong please:
> > > This is the order of bootstrapping the foundations of mathematics:
> > Boot strapping has nothing to do with mathematics.
> > It's part of computer science.
> > A metalanguage is used to dacribe a formal language.
> But doesn't the metalanguage follows rules of logic when describing the
> formal language?
A metalanguage has some logic which usually includes simple induction.