Re: [moca] shooting from the hip: Mobility FAQ ?

[Joachim Parrow <joachim@xxxxxxxxxx>]

Martin Berger wrote:

>  > Qu1: "Why the he.. do you have so many different calculi?
>
> (counter-question: why are there so many natural numbers?)

Better counter-q

 to a mathematician: why do you have so many theorems? Couldn't you
mathematicians agree on a few that are important and stick to them?

to a programmer: why are there so many different programs? Couldn't you
programmers agree on a few that  are flexible enough and stick to them?

Joachim

  
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The "models for mobility" mailing list     mailto:moca@xxxxxxxxxxxxxxx
 http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html