Re: Name the thesis: "Formal sentences capture informal ones"
Helene.Boucher_at_wanadoo.fr
Date: 01/30/05
- Next message: Torkel Franzen: "Re: Name the thesis: "Formal sentences capture informal ones""
- Previous message: Paul Boca: "FACS FACTS Newsletter Call for Contributions on Formal Aspects of Computing Science (deadline 11 February 2005)"
- In reply to: LordBeotian: "Re: Name the thesis: "Formal sentences capture informal ones""
- Next in thread: LordBeotian: "Re: Name the thesis: "Formal sentences capture informal ones""
- Reply: LordBeotian: "Re: Name the thesis: "Formal sentences capture informal ones""
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: 30 Jan 2005 07:05:37 -0800
No, it's the axiom "(x)(Nx => there exists y such that Sxy)", i.e.
every natural number has a successor.
- Next message: Torkel Franzen: "Re: Name the thesis: "Formal sentences capture informal ones""
- Previous message: Paul Boca: "FACS FACTS Newsletter Call for Contributions on Formal Aspects of Computing Science (deadline 11 February 2005)"
- In reply to: LordBeotian: "Re: Name the thesis: "Formal sentences capture informal ones""
- Next in thread: LordBeotian: "Re: Name the thesis: "Formal sentences capture informal ones""
- Reply: LordBeotian: "Re: Name the thesis: "Formal sentences capture informal ones""
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
