Works matching DE "GODEL'S theorem"
Results: 136
Gödel, Einstein, Mach: Casting Constraints on All-embracing Concepts.
- Published in:
- Foundations of Science, 2004, v. 9, n. 1, p. 25, doi. 10.1023/B:FODA.0000014880.52117.f0
- By:
- Publication type:
- Article
A Physical Approach to the Construction of Cognition and to Cognitive Evolution.
- Published in:
- Foundations of Science, 2001, v. 6, n. 4, p. 273, doi. 10.1023/A:1011610921631
- 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
Gödel-Rosser's Incompleteness Theorem, generalized and optimized for definable theories.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1391, doi. 10.1093/logcom/exw025
- By:
- Publication type:
- Article
Semantic investigation of canonical Gödel hypersequent systems.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 1, p. 337, doi. 10.1093/logcom/ext029
- By:
- Publication type:
- Article
Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences.
- Published in:
- Journal of Logic & Computation, 2015, v. 25, n. 3, p. 527, doi. 10.1093/logcom/exu016
- By:
- Publication type:
- Article
Metaphors in Cognitive Linguistics.
- Published in:
- Eger Journal of English Studies, 2010, v. 10, p. 71
- By:
- Publication type:
- Article
HOW TO PRACTISE PHILOSOPHY AS THERAPY: PHILOSOPHICAL THERAPY AND THERAPEUTIC PHILOSOPHY.
- Published in:
- Metaphilosophy, 2011, v. 42, n. 1/2, p. 49, doi. 10.1111/j.1467-9973.2010.01680.x
- 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
Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory.
- Published in:
- Mathematical Logic Quarterly, 1988, v. 34, n. 4, p. 337, doi. 10.1002/malq.19880340410
- By:
- Publication type:
- Article
On the Topological Size of Sets of Random Strings.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 6, p. 81, doi. 10.1002/malq.19860320602
- By:
- Publication type:
- Article
Regarding Powers of Real Gödel-Kleene Lattices.
- Published in:
- Journal of Multiple-Valued Logic & Soft Computing, 2016, v. 27, n. 4, p. 299
- By:
- Publication type:
- Article
Logical Characterization of Filters on BL-algebras.
- Published in:
- Journal of Multiple-Valued Logic & Soft Computing, 2013, v. 20, n. 1-2, p. 75
- By:
- Publication type:
- Article
Finite Mimicry of Gödel's Incompleteness Theorem.
- Published in:
- Mathematics Magazine, 2007, v. 80, n. 2, p. 126, doi. 10.1080/0025570X.2007.11953466
- 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
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
Silk, Allergies, Sisters, and Incompleteness.
- Published in:
- 2012
- By:
- Publication type:
- Creative Nonfiction
Lorenz, Gödel and Penrose: new perspectives on determinism and causality in fundamental physics.
- Published in:
- Contemporary Physics, 2014, v. 55, n. 3, p. 157, doi. 10.1080/00107514.2014.908624
- 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
The Volition of Intelligence.
- Published in:
- Journal of the Utah Academy of Sciences, Arts & Letters, 2014, v. 91, p. 107
- By:
- Publication type:
- Article
GENERALIZATIONS OF GÖDEL’S INCOMPLETENESS THEOREMS FOR ∑n-DEFINABLE THEORIES OF ARITHMETIC.
- Published in:
- Review of Symbolic Logic, 2017, v. 10, n. 4, p. 603, doi. 10.1017/S1755020317000235
- By:
- Publication type:
- Article
HUSSERL AND GÖDEL’S INCOMPLETENESS THEOREMS.
- Published in:
- Review of Symbolic Logic, 2017, v. 10, n. 4, p. 638, doi. 10.1017/S1755020317000089
- By:
- Publication type:
- Article
PROVING UNPROVABILITY.
- Published in:
- Review of Symbolic Logic, 2017, v. 10, n. 1, p. 92, doi. 10.1017/S1755020316000216
- By:
- Publication type:
- Article
SELF-REFERENCE IN ARITHMETIC I.
- Published in:
- Review of Symbolic Logic, 2014, v. 7, n. 4, p. 671, doi. 10.1017/S1755020314000288
- By:
- Publication type:
- Article
Disquotation and Infinite Conjunctions.
- Published in:
- Erkenntnis, 2018, v. 83, n. 5, p. 899, doi. 10.1007/s10670-017-9919-x
- By:
- Publication type:
- Article
Meaning and interpretation: The semiotic similarities and differences between Cognitive Grammar and European structural linguistics.
- Published in:
- Semiotica, 2011, v. 2011, n. 185, p. 1, doi. 10.1515/semi.2011.032
- By:
- Publication type:
- Article
Gôdel's metaphor.
- Published in:
- Semiotica, 1994, v. 98, n. 1/2, p. 5, doi. 10.1515/semi.1994.98.1-2.5
- By:
- Publication type:
- Article
INCOMPLETENESS IN THE FINITE DOMAIN.
- Published in:
- Bulletin of Symbolic Logic, 2017, v. 23, n. 4, p. 405, doi. 10.1017/bsl.2017.32
- By:
- Publication type:
- Article
GÖDEL’S NOTRE DAME COURSE.
- Published in:
- Bulletin of Symbolic Logic, 2016, v. 22, n. 4, p. 469, doi. 10.1017/bsl.2016.36
- 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
NOMINALISM AND MATHEMATICAL INTUITION.
- Published in:
- Protosociology: An International Journal of Interdisciplinary Research, 2008, v. 25, p. 89
- By:
- Publication type:
- Article
On Reliability of the Meta-Mathematical Notions Defined by Gödel's Coding Method.
- Published in:
- Teorema, 2016, v. 35, n. 1, p. 5
- By:
- Publication type:
- Article
Completeness: from Gödel to Henkin.
- Published in:
- History & Philosophy of Logic, 2014, v. 35, n. 1, p. 50, doi. 10.1080/01445340.2013.816555
- By:
- Publication type:
- Article
The Godelian Inferences.
- Published in:
- History & Philosophy of Logic, 2009, v. 30, n. 3, p. 241, doi. 10.1080/01445340802617523
- By:
- Publication type:
- Article
Book Review.
- Published in:
- 2005
- By:
- Publication type:
- Book Review
LOGICAL CHARACTERIZATION OF RECOGNIZABLE SETS OF POLYNOMIALS OVER A FINITE FIELD.
- Published in:
- International Journal of Foundations of Computer Science, 2011, v. 22, n. 7, p. 1549, doi. 10.1142/S0129054111008878
- By:
- Publication type:
- Article
UNDECIDABILITY AND HIERARCHY RESULTS FOR PARALLEL COMMUNICATING FINITE AUTOMATA.
- Published in:
- International Journal of Foundations of Computer Science, 2011, v. 22, n. 7, p. 1577, doi. 10.1142/S0129054111008891
- By:
- Publication type:
- Article
ON THE AMBIGUITY OF INSERTION SYSTEMS.
- Published in:
- International Journal of Foundations of Computer Science, 2011, v. 22, n. 7, p. 1747, doi. 10.1142/S0129054111009008
- 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
The Limits of Human Mathematics.
- Published in:
- Philosophical Perspectives, 2001, v. 15, p. 93
- By:
- Publication type:
- Article
Gödel incompleteness and the black hole information paradox.
- Published in:
- Quantum Information Processing, 2008, v. 7, n. 6, p. 291, doi. 10.1007/s11128-008-0089-2
- 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