https://en.wikipedia.org/wiki/Hao_Wang_(academic)
In 1983, Wang was awarded the first Milestone Prize for Automated Theorem Proving.

Logic, Computers and Sets (1962)
From Mathematics to Philosophy (1974)
Popular Lectures on Mathematical Logic (1981)
Beyond Analytical Philosophy: Doing Justice to What We Know (1985)
A Logical Journey: From Gödel to Philosophy (1996)

Отредактировано Лис (2017-12-12 22:22:59)