[Ведущему: не акцентировать внимание команда на кавычках в вопросе.] Ча́рльзу Пе́тцольду не нравится известный пример. По его мнению, использование бу́левой алгебры здесь излишне, ведь ОН сам, можно сказать, “привёл доказательство” уже почти две с половиной тысячи лет назад. Назовите ЕГО имя.