[mizar] mathematical vernacular

[Andrzej Trybulec <trybulec@math.uwb.edu.pl>]

I forward the next message from prof. de Bruijn. I find it very interesting.
Comments, partuuicularly from Durham,
are appreciated.

Andrzej Trybulec

n.g.d.bruijn@tue.nl wrote:

> To: Andrzej Trybulec [trybulec@math.uwb.edu.pl]
> From: n.g.d.bruijn@tue.nl
> Subject: Mathematical Vernacular
>
>     Eindhoven, July 7, 2001
>

....

>     I do not object to having my message related to the phrase 'mathematical
> vernacular' on the Mizar Forum.
>     By the way, before I began to use the phrase I already did use
> a term in Dutch: 'Wiskundige Omgangstaal', what I abbreviated to 'WOT'.
> 'Wiskundig' means 'mathematical', 'taal' means 'language', and 'omgang'
> means 'social contact'. The phrase  'Wiskundige Omgangstaal' might
> have been translated as 'Colloquial Language", but I think the word
> 'Vernacular' is much nicer. The word 'colloquial' gives me the
> feeling of 'sloppy', and 'vernacular' can be a cultured language.