Wang Hao. The formalization of mathematics

Journal of Symbolic Logic 22 (3):290-292 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963597

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,795

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Wang Hao. On formalization. Mind, n.s. vol. 64 , pp. 226–238.Gert H. Müller - 1957 - Journal of Symbolic Logic 22 (3):292-292.
Hao Wang. Certain predicates defined by induction schemata. The journal of symbolic logic, vol. 18 , pp. 49–59. Reprinted in A survey of mathematical logic, by Hao Wang, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 535–545. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (1):99-100.
Gert H. Müller. Nicht-Standardmodelle der Zahlentheorie. Mathematische Zeitschrift, vol. 77 , pp. 414–438.Abraham Robinson - 1972 - Journal of Symbolic Logic 37 (2):405-406.
Hao Wang. Undecidable sentences generated by semantic paradoxes. The journal of symbolic logic, vol. 20 , pp. 31–34. Reprinted Hao Wang. as Undecidable sentences suggested by semantic paradoxes, pp. 546–558.Steven Orey - 1965 - Journal of Symbolic Logic 30 (1):100.
Wang Hao. From mathematics to philosophy. International library of philosophy and scientific method. Humanities Press, New York 1974, xiv + 428 pp. [REVIEW]John P. Burgess - 1977 - Journal of Symbolic Logic 42 (4):579-580.
Wang Hao. The predicate calculus. A survey of mathematical logic. Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 307–321. [REVIEW]Steven Orey - 1963 - Journal of Symbolic Logic 28 (3):250-250.
Wang Hao. A formal system of logic.Theodore Hailperin - 1950 - Journal of Symbolic Logic 15 (3):228-229.
Wang Hao. Ackermann's consistency proof. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 362–375. [REVIEW]Steven Orey - 1964 - Journal of Symbolic Logic 29 (2):106-106.
Wang Hao. On denumerable bases of formal systems. Mathematical interpretation of formal systems. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1955, pp. 57–84. [REVIEW]Clifford Spector - 1957 - Journal of Symbolic Logic 22 (3):292-293.
Wang Hao. Some partial systems. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 507–534. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (1):100-101.

Analytics

Added to PP
2013-11-22

Downloads
24 (#918,365)

6 months
14 (#239,352)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references