The following pages link to (Q3216621):
Displaying 50 items.
- The iterative conception of set. A (bi-)modal axiomatisation (Q380997) (← links)
- Foundational implications of the inner model hypothesis (Q448331) (← links)
- Multiverse conceptions in set theory (Q510715) (← links)
- Gödel on Tarski (Q598320) (← links)
- Logic of paradox revisited (Q795814) (← links)
- The objectivity of mathematics (Q885536) (← links)
- On mind \& Turing's machines (Q885688) (← links)
- On a complexity-based way of constructivizing the recursive functions (Q922528) (← links)
- Turing oracle machines, online computing, and three displacements in computability theory (Q1032637) (← links)
- Frege's double correlation thesis and Quine's set theories NF and ML (Q1076005) (← links)
- Identical particles and the simplicial category (Q1090755) (← links)
- An approach to the constructivization of Cantor's set theory (Q1147138) (← links)
- Consistency, mechanicalness, and the logic of the mind (Q1187223) (← links)
- Logic, ontology, mathematical practice (Q1202496) (← links)
- A debate about the axiomatization of arithmetic: Otto Hölder against Robert Graßmann. (Q1415598) (← links)
- Broadening the iterative conception of set (Q1422104) (← links)
- The modal argument for hypercomputing minds (Q1434374) (← links)
- Time in philosophy and in physics: from Kant and Einstein to Gödel. (Q1578762) (← links)
- Category theory and the foundations of mathematics: philosophical excavations. (Q1578766) (← links)
- Recognizable sets and Woodin cardinals: computation beyond the constructible universe (Q1694811) (← links)
- Book review of: K. Gödel, Collected works. Vol. IV: Correspondence, A--G; Collected works. Vol. V: Correspondence, H--Z (Q1987000) (← links)
- Informal and absolute proofs: some remarks from a Gödelian perspective (Q2288278) (← links)
- Hintikka and the functions of logic (Q2334655) (← links)
- A new Gödelian argument for hypercomputing minds based on the busy beaver problem (Q2495984) (← links)
- Gödel on deduction (Q2631643) (← links)
- Can Church's thesis be viewed as a Carnapian explication? (Q2695029) (← links)
- Cut as Consequence (Q3019775) (← links)
- The compactness of first-order logic:from gödel to lindström (Q3141183) (← links)
- Parikh and Wittgenstein (Q3299831) (← links)
- Multiverse Conceptions in Set Theory (Q3305406) (← links)
- Explaining Maximality Through the Hyperuniverse Programme (Q3305411) (← links)
- Gödel’s Cantorianism (Q3305413) (← links)
- The Gödelian Inferences (Q3401359) (← links)
- FREGE MEETS ZERMELO: A PERSPECTIVE ON INEFFABILITY AND REFLECTION (Q3580672) (← links)
- A Natural Axiomatization of Computability and Proof of Church's Thesis (Q3616433) (← links)
- Second-order languages and mathematical practice (Q3727947) (← links)
- Where do sets come from? (Q3981451) (← links)
- An axiom schema of comprehension of zermelo–fraenkel–skolem set theory (Q4206704) (← links)
- Gödel's Path from the Incompleteness Theorems (1931) To Phenomenology (1961) (Q4212935) (← links)
- Incompleteness, Mechanism, and Optimism (Q4227855) (← links)
- Proving Things About the Informal (Q4637225) (← links)
- On the Philosophical Development of Kurt Gödel (Q4650309) (← links)
- Zermelo and Set Theory (Q4678931) (← links)
- Frege, August Bebel and the Return of Alsace-Lorraine: The dating of the distinction between Sinn and Bedeutung (Q4707460) (← links)
- Platonism and Mathematical Intuition in Kurt Gödel's Thought (Q4837674) (← links)
- The Mathematical Development of Set Theory from Cantor to Cohen (Q4879892) (← links)
- In Memoriam: Hao Wang 1921–1995 (Q4879896) (← links)
- Set theoretic naturalism (Q4894723) (← links)
- What is the Church-Turing Thesis? (Q5055286) (← links)
- Naturalness in Mathematics (Q5213636) (← links)
