to the Logic Days

biography publication list selected articles congratulations congratulations 90
condolences
 

Гимн конструктивистов.

  Слова С.Маслова Музыка народная  


Пусть мало нас, но мы - конструктивисты,
И мы полны задора и огня!
Толкаем, не пугаясь свиста,
Науку завтрашнего дня.

Припев:
    Нам алгорифмы все решат проблемы,
    Докажут теоремы, следствия и леммы,
    Нам алгорифмы на все дадут ответ,
    Но лишь не там, но лишь не там, где алгорифмов нет.

Великий Кантор стройностью случайной
Сумел пленить и старца, и юнца,
Но множеств и сечений тайны
Лишь нам доступны до конца.

Припев.

Настанет день, когда на первом курсе
Конструкт поймет последний идиот.
Мир алгорифмов и рекурсий
На смену алефам идет.

Припев.
top
    
biography | publication list | selected articles | congratulations | contact information | first page | Logic Days

Copyright ©1999 Steklov Institute of Mathematics at St.Petersburg

Design by Lida Mikhailova