Аннотация:
Речь пойдет о некоторых новых подходах в математике, родившихся в XXI веке и отразивших в себе и новые тенденции, и противоречия науки. Будет рассказано немного о теории консенсуса, возникших для работы с ним формализмах и методах доказательств, а также о неожиданном утверждении - FLP теореме о невозможности консенсуса в системе со сбоями, которая, тем не менее, при всей своей "строгости и чистой математичности" не препятствует практической реализации алгоритмов для таких систем.
Обратная связь: