Wang, H. Computation, logic, philosophy: a collection of essays
Hao Wang. Computation, logic, philosophy: a collection of essays
Series: Mathematics and its applications (Kluwer Academic Publishers). China series
This is a collection of research papers by Wang Hao, a distinguished logician with international fame. All these papers, most of which have been published in various academic journals in the last 30 years, are related to a single theme: logic and computers. Among them are the pioneering papers on automated theorem proving, written by Wang back in the sixties-papers which actually opened up a new horizon and for which Wang was awarded the milestone prize o ATP in 1982.
The investigation into the relationship between mathematical logic and computer science is an area that has attracted the attention of many researchers in recent years.
logic, computer science
The Rockefeller University, "Wang, H. Computation, logic, philosophy: a collection of essays" (1990). RU Authors. 167.