Доказательства - смертельное оружие математиковдоклад на конференции