Теория определимости сегоднядоклад на конференции