Works matching DE "GODEL'S theorem"
Results: 135
A Theorem about Computationalism and 'Absolute' Truth.
- Published in:
- Minds & Machines, 2016, v. 26, n. 3, p. 205, doi. 10.1007/s11023-015-9382-x
- By:
- Publication type:
- Article
The winter, the summer and the summer dream of artificial intelligence in law: Presidential address to the 18th International Conference on Artificial Intelligence and Law.
- Published in:
- Artificial Intelligence & Law, 2022, v. 30, n. 2, p. 147, doi. 10.1007/s10506-022-09309-8
- By:
- Publication type:
- Article
Extendability of Continuous Maps Is Undecidable.
- Published in:
- Discrete & Computational Geometry, 2014, v. 51, n. 1, p. 24, doi. 10.1007/s00454-013-9551-8
- By:
- Publication type:
- Article
Über drei Erscheinungen von Unterschied in der Mathematik.
- Published in:
- Berichte zur Wissenschafts-Geschichte, 2016, v. 39, n. 1, p. 7, doi. 10.1002/bewi.201601742
- By:
- Publication type:
- Article
Silk, Allergies, Sisters, and Incompleteness.
- Published in:
- 2012
- By:
- Publication type:
- Creative Nonfiction
Gödel Type Solution of an f(R) Theory of Gravitation.
- Published in:
- Walailak Journal of Science & Technology, 2016, v. 13, n. 5, p. 329
- By:
- Publication type:
- Article
BUG'S BUGBEAR, GÖDEL'S PROOF.
- Published in:
- Mathematics & Computer Education, 2012, v. 46, n. 2, p. 138
- By:
- Publication type:
- Article
I AM A STRANGE LOOP.
- Published in:
- 2008
- By:
- Publication type:
- Book Review
GÖDEL'S THEOREM: AN INCOMPLETE GUIDE TO ITS USE AND ABUSE.
- Published in:
- 2008
- By:
- Publication type:
- Book Review
The Volition of Intelligence.
- Published in:
- Journal of the Utah Academy of Sciences, Arts & Letters, 2014, v. 91, p. 107
- By:
- Publication type:
- Article
Intervals of the Lattice of Computably Enumerable Sets and Effective Boolean Algebras.
- Published in:
- Bulletin of the London Mathematical Society, 1997, v. 29, n. 6, p. 683, doi. 10.1112/S0024609397003548
- By:
- Publication type:
- Article
A metonímia como processo fractal multimodal.
- Published in:
- Revista Veredas, 2010, v. 14, n. 1, p. 7
- By:
- Publication type:
- Article
Letter Games: a metamathematical taster.
- Published in:
- Mathematical Gazette, 2016, v. 100, n. 549, p. 442, doi. 10.1017/mag.2016.109
- By:
- Publication type:
- Article
Advantages and limitations of formal expression.
- Published in:
- Foundations of Science, 1999, v. 4, n. 1, p. 25, doi. 10.1023/A:1009686703349
- By:
- Publication type:
- Article
The Second Incompleteness Theorem and Bounded Interpretations.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 399, doi. 10.1007/s11225-012-9385-z
- By:
- Publication type:
- Article
On Markov's Undecidability Theorem for Integer Matrices.
- Published in:
- Semigroup Forum, 2007, v. 75, n. 1, p. 173, doi. 10.1007/s00233-007-0714-x
- By:
- Publication type:
- Article
On the Completeness of a Test Suite Reduction Strategy.
- Published in:
- 1999
- By:
- Publication type:
- Abstract
Expressions That Talk About Themselves.
- Published in:
- Computer Journal, 1996, v. 39, n. 5, p. 408, doi. 10.1093/comjnl/39.5.408
- By:
- Publication type:
- Article
The Incompleteness of the Economy and Business: A Forceful Reminder.
- Published in:
- Journal of Business Ethics, 2011, v. 100, n. 1, p. 29, doi. 10.1007/s10551-011-1185-2
- By:
- Publication type:
- Article
Innovation in Researching the Effects of Frame -- Focused Instruction on Second Language Acquisition.
- Published in:
- ESSACHESS, 2010, v. 3, n. 1(5), p. 163
- By:
- Publication type:
- Article
Missing osteogenic effect of expanded autogenous osteoblast-like cells in a minipig model of sinus augmentation with simultaneous dental implant installation.
- Published in:
- Clinical Oral Implants Research, 2008, v. 19, n. 5, p. 497, doi. 10.1111/j.1600-0501.2007.01504.x
- By:
- Publication type:
- Article
CANCELLATIVITY IS UNDECIDABLE FOR AUTOMATIC SEMIGROUPS.
- Published in:
- Quarterly Journal of Mathematics, 2006, v. 57, n. 3, p. 285, doi. 10.1093/qmath/hai023
- By:
- Publication type:
- Article
PSEUDORECURSIVE VARIETIES OF SEMIGROUPS - II.
- Published in:
- International Journal of Algebra & Computation, 2012, v. 22, n. 5, p. 1250042, doi. 10.1142/S0218196712500427
- By:
- Publication type:
- Article
Null geodesics and wave front singularities in the Gödel space-time.
- Published in:
- General Relativity & Gravitation, 2018, v. 50, n. 1, p. 1, doi. 10.1007/s10714-017-2328-2
- By:
- Publication type:
- Article
Gödel-type metrics in Einstein-Aether theory II: nonflat background in arbitrary dimensions.
- Published in:
- General Relativity & Gravitation, 2016, v. 48, n. 5, p. 1, doi. 10.1007/s10714-016-2058-x
- By:
- Publication type:
- Article
The Limits of Human Mathematics.
- Published in:
- Philosophical Perspectives, 2001, v. 15, p. 93
- By:
- Publication type:
- Article
Wittgenstein and Gödel: An Attempt to Make 'Wittgenstein's Objection' Reasonable.
- Published in:
- Philosophia Mathematica, 2018, v. 26, n. 3, p. 324, doi. 10.1093/philmat/nkx017
- By:
- Publication type:
- Article
Predicative Frege Arithmetic and ‘Everyday’ Mathematics†.
- Published in:
- Philosophia Mathematica, 2014, v. 22, n. 3, p. 279, doi. 10.1093/philmat/nkt045
- By:
- Publication type:
- Article
How do We Know that the Gödel Sentence of a Consistent Theory Is True?†.
- Published in:
- Philosophia Mathematica, 2011, v. 19, n. 1, p. 47
- By:
- Publication type:
- Article
Carnap, Gödel, and the Analyticity of Arithmetic.
- Published in:
- Philosophia Mathematica, 2008, v. 16, n. 1, p. 100, doi. 10.1093/philmat/nkm045
- By:
- Publication type:
- Article
On Gödel Sentences and What They Say.
- Published in:
- Philosophia Mathematica, 2007, v. 15, n. 2, p. 193, doi. 10.1093/philmat/nkm015
- By:
- Publication type:
- Article
On the Question of Absolute Undecidability.
- Published in:
- Philosophia Mathematica, 2006, v. 14, n. 2, p. 153, doi. 10.1093/philmat/nkj009
- By:
- Publication type:
- Article
Are There Absolutely Unsolvable Problems? Gödel's Dichotomy.
- Published in:
- Philosophia Mathematica, 2006, v. 14, n. 2, p. 134, doi. 10.1093/philmat/nkj003
- By:
- Publication type:
- Article
Tilted and non-tilted Gödel-type universe.
- Published in:
- Astrophysics & Space Science, 2014, v. 353, n. 1, p. 267, doi. 10.1007/s10509-014-2018-4
- By:
- Publication type:
- Article
Deflationism, Arithmetic, and the Argument from Conservativeness.
- Published in:
- Mind, 2017, v. 126, n. 502, p. 429, doi. 10.1093/mind/fzv182
- By:
- Publication type:
- Article
Are declarative sentences representational?
- Published in:
- Mind, 1998, v. 107, n. 425, p. 33, doi. 10.1093/mind/107.425.33
- By:
- Publication type:
- Article
Godel's second incompleteness theorem explained in words of one syllable.
- Published in:
- Mind, 1994, v. 103, n. 409, p. 1, doi. 10.1093/mind/103.409.1
- By:
- Publication type:
- Article
Emil Post and His Anticipation of G&oulm;del and Turing.
- Published in:
- Mathematics Magazine, 2004, v. 77, n. 1, p. 3, doi. 10.1080/0025570X.2004.11953222
- By:
- Publication type:
- Article
NOMINALISM AND MATHEMATICAL INTUITION.
- Published in:
- Protosociology: An International Journal of Interdisciplinary Research, 2008, v. 25, p. 89
- By:
- Publication type:
- Article
Some Weakened Gödelian Ontological Systems.
- Published in:
- Journal of Philosophical Logic, 2003, v. 32, n. 6, p. 565
- By:
- Publication type:
- Article
PENROSE'S NEW ARGUMENT.
- Published in:
- Journal of Philosophical Logic, 2001, v. 30, n. 3, p. 241, doi. 10.1023/A:1017595530503
- By:
- Publication type:
- Article
LAS PARADOJAS Y LA TEORÍA DE LOS TIPOS LÓGICOS.
- Published in:
- Universitas Philosophica, 2008, v. 25, n. 50, p. 233
- By:
- Publication type:
- Article
GÖDEL Y WITTGENSTEIN: ALGUNAS REFLEXIONES SUELTAS DE FILOSOFÍA DE LAS MATEMÁTICAS.
- Published in:
- Universitas Philosophica, 2003, v. 20, n. 40/41, p. 117
- By:
- Publication type:
- Article
ON THE COMPACTNESS PROPERTY OF EXTENSIONS OF FIRST-ORDER GÖDEL LOGIC.
- Published in:
- Iranian Journal of Fuzzy Systems, 2015, v. 12, n. 4, p. 101
- By:
- Publication type:
- Article
ENERGY AND MOMENTUM ASSOCIATED WITH GÖDEL UNIVERSE.
- Published in:
- International Journal of Modern Physics A: Particles & Fields; Gravitation; Cosmology; Nuclear Physics, 2003, v. 18, n. 24, p. 4361, doi. 10.1142/S0217751X03016094
- By:
- Publication type:
- Article
A Note on theGödel-Gentzen Translation.
- Published in:
- Mathematical Logic Quarterly, 2000, v. 46, n. 1, p. 135, doi. 10.1002/(SICI)1521-3870(200001)46:1<135::AID-MALQ135>3.0.CO;2-R
- By:
- Publication type:
- Article
On the Difficulty of Writing Out formal Proofs in Arithmetic.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 3, p. 328, doi. 10.1002/malq.19970430305
- By:
- Publication type:
- Article
Storage Operators and ∀-positive Types in TTR Type System.
- Published in:
- Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 349, doi. 10.1002/malq.19960420130
- By:
- Publication type:
- Article
On Rosser's Provability Predicate.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 19-22, p. 317, doi. 10.1002/malq.19910371906
- By:
- Publication type:
- Article
On the Semantics of Comparative Logic.
- Published in:
- Mathematical Logic Quarterly, 1988, v. 34, n. 5, p. 433, doi. 10.1002/malq.19880340507
- By:
- Publication type:
- Article