[Om3] Summary of the Davenport&Kohlhase Proposal

[Michael Kohlhase]

On 24.03.2009 22:11 Uhr, David Carlisle wrote:
>    
>> The justification is that with the extension we do not have to force
>> math practicioners into using lambdas all the time
>>      
>
> huh? the scary thing is using formal binding operations, If they are
> more scared if the head symbol is called "lambda" than "prodcond" then
> that is just weird.
>    
<tongue-in-cheek>
The world is a weird and wonderful place (and to quote from the 
Hitchhiker (from memory): if someone completely understood the universe, 
it would be instantaneously replaced by an even weirder and more 
wonderful one).

The problem with lambdas is that there is an actively proselytizing sect 
of mathematicians (type theorists; I have a lot of sympathy for them) 
that push them. They have scared everyone by their higher morals 
standards and done formalization a disfavor in the long run. As much as 
I am (privately) a member of sect, with my hat of an OpenMath member I 
have to acknowledge that most mathematicians aren't.
</tongue-in-cheek>

I think there is good reason to accept the fact that lambdas are not the 
universally accepted solution, as sad as that may be.

Michael
>
> David
>
> ________________________________________________________________________
> The Numerical Algorithms Group Ltd is a company registered in England
> and Wales with company number 1249803. The registered office is:
> Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.
>
> This e-mail has been scanned for all viruses by Star. The service is
> powered by MessageLabs.
> ________________________________________________________________________
> _______________________________________________
> Om3 mailing list
> Om3 at openmath.org
> http://openmath.org/mailman/listinfo/om3
>    

-- 
----------------------------------------------------------------------
  Prof. Dr. Michael Kohlhase,       Office: Research 1, Room 62
  Professor of Computer Science     Campus Ring 12,
  School of Engineering&  Science   D-28759 Bremen, Germany
  Jacobs University Bremen*         tel/fax: +49 421 200-3140/-493140
  m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase
  skype: m.kohlhase   * on Sabbatical in Auckland (NZ) until VII/2009
----------------------------------------------------------------------