Абрамов Сергей Николаевич — математик, который учил программы говорить правду Родился: 1954 год, Москва, СССР Национальность: русский Сфера: математическая логика, теория программирования, верификация ПО Детство и образование Сергей Николаевич с детства выделялся логикой, а не шумом. Любил шахматы, олимпиады по математике, книги по физике. В школе решал задачи за старшие классы — не ради славы, а потому что не мог оставить нерешённой задачу. 1972 — поступил на механико-математический факультет МГУ, выбрал математическую логику — науку о доказательствах, истине и формальных системах...

Во время проведения специальной военной операции погиб рязанец Владимир Алексеевич Абрамов (позывной Барон). Об этом сообщает телеграм-канал «Чёрные береты Каспия». Абрамов — выпускник Рязанского десантного училища. Военный вуз рязанец закончил в 2019 году, служить военного направили в морскую пехоту. В СВО Владимир участвовал с марта 2022 года...