[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: Naming



Sorry, of course you should look to

   mizar.uwb.edu.pl/sum/lesniewski.html

Lesniewski Award is one of two main awards of the Association of Mizar Users.

Greetings,
Andrzej
 

Vladimir Rykov wrote:

  And are there any traces of their (Leon Chwistek and Stanislaw Lesniewski) works? - I would dare to ask - in machine readable form? 
   P bI K O B     B. B.         MOCKBA
   PhD in Computational Linguistics
   rykov.narod.ru  Eng version - www.blkbox.com/~gigawatt/rykov.html
   Mobile tel: 8-903-749-19-99 (+7-903--749-19-99 from abroad)
   My add address: rykov2000@hotmail.com  
----- Original Message -----
Sent: Sunday, November 11, 2001 6:22 PM
Subject: Re: Naming
 Hi:

The spelling is actually:
  Leon Chwistek and Stanislaw Lesniewski
(I have omitted the diacritic signs in the second name).

Greetings,
Andrzej

Vladimir Rykov wrote:

I read in our book on Applied Logic about theory of naming and that two Polish mathematicians - Khwistek and Lesnewsky (maybe wrong spelling) were its founders. Anybody knows more info about this issue?