The following pages link to Albert A. Mullin (Q704043):
Displaying 50 items.
- Computer implication and the Curry paradox (Q704044) (← links)
- Comparing inductive and circular definitions: Parameters, complexity and games (Q817681) (← links)
- Relational semantics for Kleene logic and action logic (Q817963) (← links)
- Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note (Q853474) (← links)
- Fine hierarchies and m-reducibilities in theoretical computer science (Q949621) (← links)
- Computation, hypercomputation, and physical science (Q959046) (← links)
- Quantum deduction rules (Q1001909) (← links)
- (Q1057656) (redirect page) (← links)
- The decomposition of stochastic systems (Q1057657) (← links)
- Algebraic logic. Transl. from the Russian by Robert H. Silverman (Q1075292) (← links)
- The theory of ends, pushdown automata, and second-order logic (Q1084096) (← links)
- Maschinen, Intelligenz und Selbstbezüglichkeit - Gedanken zu einem Bestseller (Q1090667) (← links)
- Incompleteness theorems for random reals (Q1105595) (← links)
- Superstructures of the class of polynomials in \(P_ K\) (Q1118580) (← links)
- Nonuniform complexity and the randomness of certain complete languages (Q1184988) (← links)
- Inductive reasoning and Kolmogorov complexity (Q1190991) (← links)
- Universal algebra in higher types (Q1199827) (← links)
- Information-theoretic incompleteness (Q1200218) (← links)
- On the learnability and usage of acyclic probabilistic finite automata (Q1271548) (← links)
- On interpreting Chaitin's incompleteness theorem (Q1277329) (← links)
- A note on applicability of the incompleteness theorem to human mind (Q1295425) (← links)
- Communication complexity and combinatorial lattice theory (Q1309387) (← links)
- Minimal relation algebras (Q1337151) (← links)
- Beyond Wittgenstein's remarks on the foundation of mathematics: explication of Piaget's suggestion of a biological foundation (Q1343402) (← links)
- What is complexity? (Q1361181) (← links)
- Propositional lax logic (Q1368378) (← links)
- Quasivarieties of logic, regularity conditions and parameterized algebraization (Q1422448) (← links)
- Mind, matter, and quantum mechanics (Q1429126) (← links)
- (Q1594819) (redirect page) (← links)
- Embodiments of mind (Q1594820) (← links)
- Finite basis problems and results for quasivarieties (Q1770614) (← links)
- Two varieties of finite automaton public key cryptosystem and digital signatures (Q1820751) (← links)
- An information-based theory of conditionals (Q1861134) (← links)
- Mechanism, truth, and Penrose's new argument (Q1871136) (← links)
- Knowledge and the world. Challenges beyond the science wars. (Q1889805) (← links)
- Decompositions of positive self-dual Boolean functions (Q1893164) (← links)
- Undecidable Hopf bifurcation with undecidable fixed point (Q1893895) (← links)
- Prime numbers and computer methods for factorization. (Q1897680) (← links)
- On the algebra of disjoint alternatives (Q1915884) (← links)
- Generalized definite set constraints (Q1975208) (← links)
- Kolmogorov complexity and Hausdorff dimension (Q2365758) (← links)
- Information and knowledge. A constructive type-theoretical approach (Q2464131) (← links)
- On explicating the concept `the power of an arithmetical theory' (Q2481252) (← links)
- A new Gödelian argument for hypercomputing minds based on the busy beaver problem (Q2495984) (← links)
- Iterated pushdown automata and sequences of rational numbers (Q2498918) (← links)
- On a proper class and related matters (Q2525167) (← links)
- C.S.S. Peirce and E.G.A. Husserl on the nature of logic (Q2527936) (← links)
- Correlative remarks concerning elementary number theory, groups and mutant sets (Q2529084) (← links)
- On new theorems for elementary number theory (Q2537491) (← links)
- On differences of certain structured sets (Q2543196) (← links)
