MoeBlee
Posts:
1,277
Registered:
5/9/11
|
|
Re: Verifiable Mathematics
Posted:
Mar 29, 2012 12:18 PM
|
|
On Mar 27, 6:41 am, Zuhair <zaljo...@gmail.com> wrote: > why prefer the later to the former?
I would suggest, as an exercise, that you try to imagine how other people think, to answer yourself why people would be disinclined to restrict their system to one that disallows longer and longer formulas.
MoeBlee
|
|