WorldCat Identities

Wang, Hao 1921-

Overview
Works: 55 works in 254 publications in 9 languages and 7,113 library holdings
Genres: Biography  Popular works  Pictorial works 
Roles: Author, Translator, Editor
Classifications: QA9, 511.3
Publication Timeline
.
Most widely held works about Hao Wang
 
Most widely held works by Hao Wang
Reflections on Kurt Gödel by Hao Wang( Book )

34 editions published between 1987 and 2002 in 4 languages and held by 810 WorldCat member libraries worldwide

Studie over het leven en de theorieën van de Amerikaanse wiskundige en filosoof van Oostenrijkse origine (1906-1978)
Beyond analytic philosophy : doing justice to what we know by Hao Wang( Book )

19 editions published between 1985 and 2010 in English and Chinese and held by 627 WorldCat member libraries worldwide

Ben shu gong fen wu zhang,Bao kuo luo su he 20 shi ji zhe xue,Guan yu wei te gen si tan zhe xue de yi duan cha qu,Cong wei ye na 1925 dao mei li jian 1984,Kuai yin de luo ji fou ding zhu yi,Yuan zhe xue si kao
From mathematics to philosophy by Hao Wang( Book )

23 editions published between 1973 and 2016 in English and Italian and held by 597 WorldCat member libraries worldwide

Popular lectures on mathematical logic by Hao Wang( Book )

25 editions published between 1980 and 2014 in English and Undetermined and held by 487 WorldCat member libraries worldwide

A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context, and then focuses on the four principal domains of contemporary mathematical logic: set theory, model theory, recursion theory and constructivism, and proof theory. Topics include the place of problems in the development of theories of logic and logic's relation to computer science. Specific attention is given to Gödel's incompleteness theorems, predicate logic and its decision and reduction problems, constructibility and Cantor's continuum hypothesis, proof theory and Hilbert's program, hierarchies and unification, proof of the four-color problem, the Diophantine problem, the tautology problem, and many other subjects. Three helpful Appendixes conclude the text
A logical journey : from Gödel to philosophy by Hao Wang( Book )

18 editions published between 1996 and 2001 in 3 languages and held by 443 WorldCat member libraries worldwide

Hao Wang (1921-1995) was one of the few confidants of the great mathematician and logician Kurt Godel. A Logical Journey is a continuation of Wang's Reflections on Kurt Godel and also elaborates on discussions contained in From Mathematics to Philosophy. A decade in preparation, it contains important and unfamiliar insights into Godel's views on a wide range of issues, from Platonism and the nature of logic, to minds and machines, the existence of God, and positivism and phenomenology. The impact of Godel's theorem on twentieth-century thought is on a par with that of Einstein's theory of relativity, Heisenberg's uncertainty principle, or Keynesian economics. These previously unpublished intimate and informal conversations, however, bring to light and amplify Godel's other major contributions to logic and philosophy. They reveal that there is much more in Godel's philosophy of mathematics than is commonly realized, and more in his philosophy than merely a philosophy of mathematics
Logic, computers, and sets by Hao Wang( Book )

20 editions published between 1962 and 1970 in English and held by 386 WorldCat member libraries worldwide

A survey of mathematical logic by Hao Wang( Book )

10 editions published between 1963 and 1979 in English and Undetermined and held by 275 WorldCat member libraries worldwide

Les systèmes axiomatiques de la théorie des ensembles by Hao Wang( Book )

16 editions published in 1953 in 3 languages and held by 191 WorldCat member libraries worldwide

Computation, logic, philosophy : a collection of essays by Hao Wang( Book )

19 editions published between 1989 and 2013 in English and held by 179 WorldCat member libraries worldwide

~Et moi ... si j'avait su comment en revenir, One service mathematics has rendered the je n'y serais point alle.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non· The series is divergent; therefore we may be sense'. Eric T. Bell able to do something with it. O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered com puter science .. .'; 'One service category theory has rendered mathematics .. .'. All arguably true. And all statements obtainable this way form part of the raison d'etre of this series
Hui guo can guan de ji dian gan xiang by Hao Wang( Book )

3 editions published in 1973 in Chinese and held by 23 WorldCat member libraries worldwide

Shu li luo ji tong su jiang hua by Hao Wang( Book )

3 editions published in 1981 in Chinese and held by 9 WorldCat member libraries worldwide

MKRP : a performance test by working mathematicians by H.-J Bürckert( Book )

4 editions published in 1983 in English and German and held by 8 WorldCat member libraries worldwide

Beyond analytic empiricism : doing justice to what we know by Hao Wang( Book )

1 edition published in 1986 in English and held by 6 WorldCat member libraries worldwide

Studii de logică matematică by Hao Wang( Book )

4 editions published in 1972 in Romanian and Rundi and held by 5 WorldCat member libraries worldwide

Two southwests by Li Sen( Book )

1 edition published in 2008 in English and held by 5 WorldCat member libraries worldwide

Aksiomatičeskije sistemy teorii množestv by Hao Wang( Book )

4 editions published in 1963 in Russian and held by 5 WorldCat member libraries worldwide

Two papers on branching Markov processes by Hao Wang( Book )

1 edition published in 1994 in English and held by 4 WorldCat member libraries worldwide

Gao qiang wai de nü ren by Hao Wang( Book )

2 editions published in 2003 in Chinese and held by 4 WorldCat member libraries worldwide

Three papers on interacting branching diffusions by Hao Wang( Book )

2 editions published in 1995 in English and held by 4 WorldCat member libraries worldwide

Luo ji zhi lü by Hao Wang( Book )

2 editions published in 2009 in Chinese and held by 4 WorldCat member libraries worldwide

Ben shu nei rong bao kuo:ge de er de sheng ping,Ge de er de si xiang li cheng,Zuo wei xing dong zhi dao de zong jiao yu zhe xue,Tan hua ji qi bei jing,Zhe xue yu zhe xue jia,Shu xue zhong de bo la tu zhu yi huo ke guan zhu yi,Ge de er zhe xue zhi lu deng
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.42 (from 0.08 for Reflection ... to 0.96 for Studii de ...)

A logical journey : from Gödel to philosophy
Alternative Names
Hao Van.

Hao Wang

Hao, Wang 1921-

Hao, Wang 1921-1995

Hao Wang Chinese mathematician

Hao Wang chinesischer Mathematiker und Philosoph

Hao Wang matemático chino

Hao Wang Professor für Logik, USA 1921-1995

Hao Wang wiskundige uit China (1921-1995)

O, Ko

Van, Hao.

Vương Hạo

Wang Hao

Wang Hao 1921-1995

Wang Hao amerykański logik, filozof i matematyk chińskiego pochodzenia

Wang, Hao Professor für Logik, USA 1921-1995

Ван, Хао.

Ван, Хао 1921-

Хао, Ван 1921-

האו ואנג (אקדמאי)

하오 왕

ワン, ハオ

王, 浩

王, 浩 1921-1995

王浩

王浩 1921-

Languages
Covers
Beyond analytic philosophy : doing justice to what we knowPopular lectures on mathematical logicA logical journey : from Gödel to philosophyTwo southwests