The following pages link to (Q4052072):
Displaying 40 items.
- Computing the maximum violation of a Bell inequality is an NP-problem (Q332067) (← links)
- Symmetry's end? (Q535384) (← links)
- Emergence, reduction and supervenience: a varied landscape (Q649890) (← links)
- On a paradox of Hilbert and Bernays (Q676182) (← links)
- Proving program inclusion using Hoare's logic (Q789887) (← links)
- Average case optimality for linear problems (Q796299) (← links)
- Amending Frege's \textit{Grundgesetze der Arithmetik} (Q813411) (← links)
- Two types of deflationism (Q1024123) (← links)
- Turing oracle machines, online computing, and three displacements in computability theory (Q1032637) (← links)
- The unaxiomatizability of a quantified intensional logic (Q1135841) (← links)
- Omega-consistency and the diamond (Q1153905) (← links)
- Some aspects of effectively constructive mathematics that are relevant to the foundations of neoclassical mathematical economics and the theory of games (Q1196208) (← links)
- Minimum-complexity pairing functions (Q1201876) (← links)
- Representing the knowledge of Turing machines (Q1330015) (← links)
- On theorems of Gödel and Kreisel: Completeness and Markov's principle (Q1333319) (← links)
- Elementary realizability (Q1362589) (← links)
- Inconsistent models of arithmetic. I: Finite models (Q1362598) (← links)
- Index sets and presentations of complexity classes (Q1366536) (← links)
- Sentence-normalized conditional narrowing modulo in rewriting logic and Maude (Q1655486) (← links)
- NuMachine and NuAlgebra (Q1816696) (← links)
- Truthmaker maximalism and the truthmaker paradox (Q2054151) (← links)
- Complexity of the problem of being equivalent to Horn formulas (Q2145867) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence (Q2964410) (← links)
- Conservative extensions of models of set theory and generalizations (Q3030803) (← links)
- In Memoriam: George Stephen Boolos 1940–1996 (Q3128484) (← links)
- Kleene's Amazing Second Recursion Theorem (Q3161629) (← links)
- Denotation, Paradox and Multiple Meanings (Q3305675) (← links)
- Incompleteness in a General Setting (Q3594482) (← links)
- Kleene’s Amazing Second Recursion Theorem (Q3644738) (← links)
- On deciding the truth of certain statements involving the notion of consistency (Q4132522) (← links)
- On first-order theories with provability operator (Q4323033) (← links)
- Alonzo church:his life, his work and some of his miracles (Q4391354) (← links)
- On quasitautologies (Q4610330) (← links)
- DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS (Q5001556) (← links)
- SUFFICIENT CONDITIONS FOR THE EXISTENCE OF UNDECIDABLE INDIRECTLY REFLECTIVE SENTENCES (Q5042804) (← links)
- The Developments of the Concept of Machine Computability from 1936 to the 1960s (Q5250213) (← links)
- Computability and Recursion (Q5689263) (← links)
- ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS (Q6041346) (← links)
- The complexity of completions in partial combinatory algebra (Q6635151) (← links)
