کتاب زبان اصلی The Future of PostHuman Formal Science اثر Peter Baofu The Future of PostHuman Formal Science A Preface to a New Theory of Abstraction and Application آینده علم صوری پساانسانی مقدمه ای بر نظریه ی جدید انتزاع و کاربرد اثر Peter Baofu پیتر بائوفو این کتاب فلسفی که در سال 2020 منتشر شده است به بررسی آینده علوم صوری و انتزاعی در عصر پساانسانی می پردازد نویسنده با تحلیل چالش ها و محدودیت های معرفت شناسی کنونی الگوی جدیدی از انتزاع و کاربرد علمی را پیشنهاد می کند که بتواند پاسخگوی نیازهای بشر متحول شده باشد این اثر دیدگاه های تازه ای در حوزه فلسفه علم پساانسانی ارائه می دهد پیتر بائوفو از نظریه پردازان برجسته فلسفه تکنولوژی است