175 found
Order:
Disambiguations
Hao Wang [175]Haobin Wang [2]Hao-bin Wang [1]Haoren Wang [1]
  1.  22
    A Logical Journey: From Gödel to Philosophy.Hao Wang - 1996 - Bradford.
    Hao Wang was one of the few confidants of the great mathematician and logician Kurt Gödel. _A Logical Journey_ is a continuation of Wang's _Reflections on Gödel_ and also elaborates on discussions contained in _From Mathematics to Philosophy_. A decade in preparation, it contains important and unfamiliar insights into Gödel'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 Gödel's theorem (...)
  2.  35
    Reflections on Kurt Gödel.Hao Wang - 1990 - Bradford.
    In this first extended treatment of his life and work, Hao Wang, who was in close contact with Godel in his last years, brings out the full subtlety of Godel's ideas and their connection with grand themes in the history of mathematics and ...
  3. A Logical Journey. From Gödel to Philosophy.Hao Wang - 1998 - Philosophy 73 (285):495-504.
    No categories
     
    Export citation  
     
    Bookmark   14 citations  
  4. Some Facts About Kurt Gödel.Hao Wang - 1981 - Journal of Symbolic Logic 46 (3):653-659.
  5. Time in Philosophy and in Physics: From Kant and Einstein to Gödel.Hao Wang - 1995 - Synthese 102 (2):215 - 234.
    The essay centers on Gödel's views on the place of our intuitive concept of time in philosophy and in physics. It presents my interpretation of his work on the theory of relativity, his observations on the relationship between Einstein's theory and Kantian philosophy, as well as some of the scattered remarks in his conversations with me in the seventies — namely, those on the philosophies of Leibniz, Hegel and Husserl — as a successor of Kant — in relation to their (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  6.  4
    From Mathematics to Philosophy.Hao Wang - 1975 - Philosophical Quarterly 25 (99):176-178.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  7.  12
    A Survey of Mathematical Logic.Hao Wang - 1966 - Philosophical Review 75 (2):240-244.
  8. The Axiomatization of Arithmetic.Hao Wang - 1957 - Journal of Symbolic Logic 22 (2):145-158.
  9. The Formalization of Mathematics.Hao Wang - 1954 - Journal of Symbolic Logic 19 (4):241-266.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  6
    Reflections on Kurt Godel.Stewart Shapiro & Hao Wang - 1991 - Philosophical Review 100 (1):130.
  11.  71
    Popular Lectures on Mathematical Logic.Hao Wang - 1981 - Dover Publications.
    Noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. After historical survey, lucid treatment of set theory, model theory, recursion theory and constructivism and proof theory. Place of problems in development of theories of logic, logic’s relationship to computer science, more. Suitable for readers at many levels of mathematical sophistication. 3 appendixes. Bibliography. 1981 edition.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  12.  32
    Beyond Analytic Philosophy: Doing Justice to What We Know.Hao Wang - 1988 - Bradford.
    This cogent and knowledgeable critique of the tradition of modern analytic philosophy focuses on the work of its central figures -- Russell, Carnap, and Quine -- and finds it wanting. In its place, Hao Wang unfolds his own original view of what philosophy could and should be. The base of any serious philosophy, he contends, should take as its point of departure the actual state of human knowledge. He explains the relation of this new tradition to mathematical logic and reveals (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  13. The Existence of Material Objects.Hao Wang - 1948 - Mind 57 (228):488-490.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  14. A Note on Quine's Principles of Quantification.Hao Wang - 1947 - Journal of Symbolic Logic 12 (4):130-132.
  15.  63
    To and From Philosophy — Discussions with Gödel and Wittgenstein.Hao Wang - 1991 - Synthese 88 (2):229 - 277.
    I propose to sketch my views on several aspects of the philosophy of mathematics that I take to be especially relevant to philosophy as a whole. The relevance of my discussion would, I think, become more evident, if the reader keeps in mind the function of (the philosophy of) mathematics in philosophy in providing us with more transparent aspects of general issues. I shall consider: (1) three familiar examples; (2) logic and our conceptual frame; (3) communal agreement and objective certainty; (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  26
    Number Theoretic Concepts and Recursive Well-Orderings.G. Kreisel, J. Shoenfield & Hao Wang - 1966 - Journal of Symbolic Logic 31 (3):511-512.
  17. Logic, Computers, and Sets.Hao Wang - 1962 - New York: Chelsea Pub. Co..
     
    Export citation  
     
    Bookmark   5 citations  
  18.  62
    On Physicalism and Algorithmism: Can Machines Think?Hao Wang - 1993 - Philosophia Mathematica 1 (2):97-138.
    This essay discusses a number of questions which arise from attempts to reduce the mental to the physical or the mental and the physical to the computational. It makes, in an organized way, several basic distinctions between different kinds of accounts of the mind. It reconstructs and elaborates many discussions between Gödel and the author on the nature of the human mind, with special emphasis on its mathematical capabilities.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  34
    Prediction of Subcellular Localization of Apoptosis Protein Using Chou’s Pseudo Amino Acid Composition.Hao Lin, Hao Wang, Hui Ding, Ying-Li Chen & Qian-Zhong Li - 2009 - Acta Biotheoretica 57 (3):321-330.
    Apoptosis proteins play an essential role in regulating a balance between cell proliferation and death. The successful prediction of subcellular localization of apoptosis proteins directly from primary sequence is much benefited to understand programmed cell death and drug discovery. In this paper, by use of Chou’s pseudo amino acid composition , a total of 317 apoptosis proteins are predicted by support vector machine . The jackknife cross-validation is applied to test predictive capability of proposed method. The predictive results show that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  21
    The Calculus of Partial Predicates and Its Extension to Set Theory I.Hao Wang - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (17-18):283-288.
  21.  62
    On Formalization.Hao Wang - 1955 - Mind 64 (254):226-238.
  22.  3
    A Logical Journey: From Gödel to Philosophy.Hao Wang - 2000 - Erkenntnis 52 (1):109-115.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  8
    Eighty Years of Foundational Studies.Hao Wang - 1958 - Dialectica 12 (3‐4):466-497.
    A survey is made of work since 1879 on foundational problems viewed as an analysis, by reduction and formalization, of the concepts proof, feasible, number, set, and constructivity. It is suggested that there are five domains of concepts and methods, viz., anthropologism, finitism, intuitionism, predicativism, and platonism. It is also suggested that the central problem is to characterize these domains by formalization and to determine their interrelations by different forms of reduction. Finally, the range of logic in the narrower sense (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  24.  4
    The Calculus of Partial Predicates and Its Extension to Set Theory I.Hao Wang - 1961 - Mathematical Logic Quarterly 7 (17‐18):283-288.
  25.  11
    The Iterative Conception of Set.George Boolos, Dana Scott, Thomas J. Jech, W. N. Reinhardt & Hao Wang - 1985 - Journal of Symbolic Logic 50 (2):544-547.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  1
    Piecewise Adaptive Sliding Mode Control for Aeroengine Networked Control Systems with Resource Constraints.Bin Zhou, Shousheng Xie, Litong Ren, Lei Wang, Yu Zhang, Ledi Zhang & Hao Wang - 2019 - Complexity 2019:1-15.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  2
    Beyond Analytic Philosophy: Doing Justice to What We Know.Barbara Humphries & Hao Wang - 1988 - Philosophical Review 97 (2):270.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  28.  28
    Note on Rules of Inference.Hao Wang - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (3):193-196.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Certain Predicates Defined by Induction Schemata.Hao Wang - 1953 - Journal of Symbolic Logic 18 (1):49-59.
  30.  10
    Reflections on Kurt Godel.J. L. Bell & Hao Wang - 1989 - Philosophical Quarterly 39 (154):115.
  31.  29
    Non-Standard Models for Formal Logics.J. Barkley Rosser & Hao Wang - 1950 - Journal of Symbolic Logic 15 (2):113-129.
  32.  60
    A Question on Knowledge of Knowledge.Hao Wang - 1953 - Analysis 14 (6):142 - 146.
  33.  45
    Wittgenstein's and Other Mathematical Philosophies.Hao Wang - 1984 - The Monist 67 (1):18-28.
  34.  22
    Negative Types.Hao Wang - 1952 - Mind 61 (243):366-368.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35.  65
    What is Logic?Hao Wang - 1994 - The Monist 77 (3):261-277.
  36.  16
    Logic of Many-Sorted Theories.Hao Wang - 1952 - Journal of Symbolic Logic 17 (2):105-116.
  37.  19
    Ordinal Numbers and Predicative Set Theory.Hao Wang - 1959 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (14-24):216-239.
  38.  8
    Some Applications of Formalized Consistency Proofs.G. Kreisel & Hao Wang - 1956 - Journal of Symbolic Logic 21 (4):404-405.
  39.  23
    On Axioms of Conditional Set Existence.Hao Wang - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (7-12):183-188.
  40. Reflections on Kurt Gödel.Hao Wang - 1988 - Mind 97 (388):634-638.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  41.  28
    A Formal System of Logic.Hao Wang - 1950 - Journal of Symbolic Logic 15 (1):25-32.
  42.  19
    Natural Hulls and Set Existence.Hao Wang - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (7-12):175-182.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  3
    Towards Feasible Solutions of the Tautology Problem.Bradford Dunham & Hao Wang - 1976 - Annals of Mathematical Logic 10 (2):117-154.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44. Reflections on Gôdel.Hao Wang - 1987 - MIT Press.
  45.  18
    A Theorem on Definitions of the Zermelo-Neumann Ordinals.Hao Wang - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (16-18):241-250.
  46.  18
    Universal Turing Machines: An Exercise in Coding.Hao Wang - 1957 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (6-10):69-80.
  47.  6
    Entscheidungsproblem Reduced to the ∀∃∀ Case.A. S. Kahr, Edward F. Moore & Hao Wang - 1962 - Journal of Symbolic Logic 27 (2):225-225.
  48.  57
    THARP and Conceptual Logic.Hao Wang - 1989 - Synthese 81 (2):141 - 152.
  49.  42
    Notes on the Analytic-Synthetic Distinction.Hao Wang - 1955 - Theoria 21 (2-3):158-178.
  50.  16
    Circuit Synthesis by Solving Sequential Boolean Equations.Hao Wang - 1959 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (14-24):291-322.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 175