博客來Wang Hao (1921-1995) was one of the most pivotal, yet undersung, intellectual figures of the twentieth century. Born in China and achieving mastery in the West, he operated as a unique intellectual bridge, synthesizing the rigor of mathematical logic with the holistic wisdom of Eastern philosophy.
This comprehensive biography chronicles Wang Hao’s journey across three defining pillars of his career: his foundational triumphs in formal logic and set theory; his pioneering role in computational science, including the invention of the famous Wang Algorithm for automated theorem proving; and his essential, long-term relationship with Kurt Gödel, which produced the definitive portrait of the reclusive genius.
More than just a logician, Wang Hao evolved into a fierce critic of purely analytic philosophy, passionately advocating for a unified methodology that acknowledges human culture and history. The Unity of Logic and Life is the definitive intellectual chronicle of a man who successfully navigated the chasm between East and West, technical abstraction and human meaning, leaving behind a universal philosophy of reason that remains profoundly relevant today. Approx.168 pages, 28300 word count
