Три жизни формальных рассужденийдоклад на конференции