The following pages link to Hao Wang (Q1152358):
Displaying 50 items.
- Specker's mathematical work from 1949 to 1979 (Q1152359) (← links)
- To and from philosophy-discussions with Gödel and Wittgenstein (Q1182183) (← links)
- Kurt Gödel's intellectual development. [In memoriam Kurt Gödel (28 April 1906 -- 14 January 1978)]. (Q1252211) (← links)
- Computation, logic, philosophy. A collection of essays (Q1264328) (← links)
- Time in philosophy and in physics: from Kant and Einstein to Gödel. (Q1578762) (← links)
- Tag systems and lag systems (Q2395198) (← links)
- Characterizations of ordinal numbers in set theory (Q2524563) (← links)
- Finite set theory, number theory and axioms of limitation (Q2525004) (← links)
- The irreducibility of impredicative principles (Q2650562) (← links)
- Between number theory and set theory (Q2651105) (← links)
- The categoricity question of certain grand logics (Q2651477) (← links)
- Memories related to Professor Jin Yuelin. Translated by Montgomery Link and Richard Jandovitz (Q2845887) (← links)
- From Kunming to New York. Translated by Richard Jandovitz and Montgomery Link (Q2845888) (← links)
- Sets and concepts, on the basis of discussions with Gödel. Edited with an introduction and notes by Charles Parsons (Q2845893) (← links)
- (Q3140388) (← links)
- (Q3216621) (← links)
- (Q3216622) (← links)
- VI.—ON FORMALIZATION (Q3228597) (← links)
- Some applications of formalized consistency proofs (Q3228606) (← links)
- (Q3230357) (← links)
- The axiomatization of arithmetic (Q3243257) (← links)
- EIGHTY YEARS OF FOUNDATIONAL STUDIES (Q3262773) (← links)
- Ordinal Numbers and Predicative Set Theory (Q3262777) (← links)
- Universal turing machines: An exercise in coding (Q3262782) (← links)
- Circuit Synthesis by Solving Sequential Boolean Equations (Q3264238) (← links)
- Toward Mechanical Mathematics (Q3275832) (← links)
- Proving theorems by pattern recognition I (Q3283226) (← links)
- ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE (Q3284606) (← links)
- (Q3291529) (← links)
- (Q3292573) (← links)
- (Q3681964) (← links)
- (Q3764099) (← links)
- (Q3848196) (← links)
- Classification of $AEA$ formulas by letter atoms (Q3848962) (← links)
- (Q3848974) (← links)
- Some facts about Kurt Gödel (Q3910497) (← links)
- (Q3931353) (← links)
- Mind brain machine (Q3976571) (← links)
- Aperiodicity and constraints (Q3976585) (← links)
- (Q3998472) (← links)
- (Q4002753) (← links)
- Notes on a class of tiling problems (Q4055980) (← links)
- Towards feasible solutions of the tautology problem (Q4119174) (← links)
- (Q4152542) (← links)
- (Q4360860) (← links)
- (Q4367940) (← links)
- (Q4847758) (← links)
- (Q4876410) (← links)
- The Calculus of Partial Predicates and Its Extension to Set Theory I (Q5328150) (← links)
- Number theoretic concepts and recursive well-orderings (Q5337196) (← links)
