作者简介

陈鹏，1979年生，江西南丰人，工学博士，北京航空航天大学计算机学院博士研究生毕业，中国社会科学院哲学研究所博士后。主要从事计算机软件与理论、数理逻辑、形式化验证、信息哲学、信息技术与社会领域研究工作。已出版《操作系统本质》《区块链本质》《证明达尔文》等多部专著或译著。