Works matching DE "GODEL'S theorem"

Results: 136

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:

Halava, Vesa;
Harju, Tero

Publication type:

Article

Some Weakened Gödelian Ontological Systems.

Published in:

Journal of Philosophical Logic, 2003, v. 32, n. 6, p. 565

By:

Kovač, Srećko

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:

Lindström, Per

Publication type:

Article

New proof for the undecidability of the circular PCP.

Published in:

Acta Informatica, 2013, v. 50, n. 5/6, p. 331, doi. 10.1007/s00236-013-0183-5

By:

Halava, Vesa;
Harju, Tero

Publication type:

Article

On Core XPath with Inflationary Fixed Points.

Published in:

RAIRO - Theoretical Informatics & Applications, 2013, v. 47, n. 1, p. 3, doi. 10.1051/ita/2012027

By:

Afanasiev, Loredana;
Cate, Balder ten

Publication type:

Article

Weyl fermions in a family of Gödel-type geometries with a topological defect.

Published in:

International Journal of Modern Physics D: Gravitation, Astrophysics & Cosmology, 2018, v. 27, n. 3, p. -1, doi. 10.1142/S021827181850027X

By:

Garcia, G. Q.;
Oliveira, J. R. de S.;
Furtado, C.

Publication type:

Article

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:

Hon, Giora

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:

Diettrich, Olaf

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:

Heylighen, Francis

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:

Visser, Albert

Publication type:

Article

Are declarative sentences representational?

Published in:

Mind (0026-4423), 1998, v. 107, n. 425, p. 33, doi. 10.1093/mind/107.425.33

By:

Donaho, Stephen

Publication type:

Article

Godel's second incompleteness theorem explained in words of one syllable.

Published in:

Mind (0026-4423), 1994, v. 103, n. 409, p. 1, doi. 10.1093/mind/103.409.1

By:

Boolos, George

Publication type:

Article

Herbrand consistency of some finite fragments of bounded arithmetical theories.

Published in:

Archive for Mathematical Logic, 2013, v. 52, n. 3/4, p. 317, doi. 10.1007/s00153-012-0318-3

By:

Salehi, Saeed

Publication type:

Article

On interplay of quantifiers in Gödel-Dummett fuzzy logics.

Published in:

Archive for Mathematical Logic, 2006, v. 45, n. 5, p. 569, doi. 10.1007/s00153-005-0322-y

By:

Kozlíková, Blanka;
Švejdar, Vítēzslav

Publication type:

Article

Characterizing the elementary recursive functions by a fragment of Gödel's T.

Published in:

Archive for Mathematical Logic, 2000, v. 39, n. 7, p. 475, doi. 10.1007/s001530050160

By:

Beckmann, Arnold;
Weiermann, Andreas

Publication type:

Article

A proof of strongly uniform termination for Gödel's...

Published in:

Archive for Mathematical Logic, 1997, v. 36, n. 6, p. 445, doi. 10.1007/s001530050075

By:

Weiermann, Andreas

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:

SALEHI, SAEED;
SERAJI, PAYAM

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:

LAHAV, ORI

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:

BECKMANN, ARNOLD;
PREINING, NORBERT

Publication type:

Article

Undecidability in Some Structures Related to Computation Theory.

Published in:

Journal of Logic & Computation, 2009, v. 19, n. 1, p. 177, doi. 10.1093/logcom/exn023

By:

SELIVANOV, VICTOR L.

Publication type:

Article

ZNAČAJ GEDELOVE TEOREME O NEPOTPUNOSTI U MATEMATICI I RAČUNARSTVU.

Published in:

MAT-KOL (Banja Luka), Matematicki Kolokvijum, 2010, v. 16, n. 1, p. 15

By:

Morić, Filip;
Lalović, Ilija

Publication type:

Article

A Hedge for Gödel Fuzzy Logic.

Published in:

International Journal of Uncertainty, Fuzziness & Knowledge-Based Systems, 2000, v. 8, n. 4, p. 495, doi. 10.1142/S0218488500000332

By:

Hájek, Petr;
Harmancová, Dagmar

Publication type:

Article

THE IMPORTANCE OF TEACHING GÖDEL'S INCOMPLETENESS THEOREM IN MATHEMATICS TEACHER EDUCATION.

Published in:

Philosophy of Mathematics Education Journal, 2018, n. 33, p. 1

By:

de Fatima Batistela, Rosemeire;
Viggiani Bicudo, Maria Aparecida

Publication type:

Article

Gödel's second incompleteness theorem for Σ<sub>n</sub>-definable theories.

Published in:

Logic Journal of the IGPL, 2018, v. 26, n. 2, p. 255, doi. 10.1093/jigpal/jzx061

By:

CHAO, CONDEN;
SERAJI, PAYAM

Publication type:

Article

Towards metamathematics of weak arithmetics over fuzzy logic.

Published in:

Logic Journal of the IGPL, 2011, v. 19, n. 3, p. 467, doi. 10.1093/jigpal/jzp091

By:

HÁJEK, PETR

Publication type:

Article

A finite relation algebra with undecidable network satisfaction problem.

Published in:

Logic Journal of the IGPL, 1999, v. 7, n. 4, p. 547, doi. 10.1093/jigpal/7.4.547

By:

Hirsch, R

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:

Paseau, A. C.

Publication type:

Article

Cognitive-linguistic performances of multilingual university students suspected of dyslexia.

Published in:

Dyslexia (10769242), 2011, v. 17, n. 2, p. 184, doi. 10.1002/dys.422

By:

Lindgrén, Signe-Anita;
Laine, Matti

Publication type:

Article

Destinies and Decidability.

Published in:

Journal of Mathematical Sciences, 2005, v. 130, n. 2, p. 4620, doi. 10.1007/s10958-005-0356-z

By:

Cegielski, P.

Publication type:

Article

Diophantine Undecidability for Some Function Fields of Infinite Transcendence Degree and Positive Characteristic.

Published in:

Journal of Mathematical Sciences, 2005, v. 130, n. 2, p. 4631, doi. 10.1007/s10958-005-0358-x

By:

Shlapentokh, A.

Publication type:

Article

Investigation of DKP equation for spin-zero system in the presence of Gödel-type background space-time.

Published in:

European Physical Journal C -- Particles & Fields, 2018, v. 78, n. 1, p. 0, doi. 10.1140/epjc/s10052-018-5573-y

By:

Hassanabadi, Hassan;
Chung, Won Sang;
Zare, Soroush;
Sobhani, Hadi

Publication type:

Article

Gödel universe from string theory.

Published in:

European Physical Journal C -- Particles & Fields, 2017, v. 77, n. 5, p. 1, doi. 10.1140/epjc/s10052-017-4856-z

By:

Li, Shou-Long;
Wei, Hao;
Feng, Xing-Hui;
Lü, H.

Publication type:

Article

A New Perspective Concerning Experiments on Semantic Intuitions.

Published in:

Australasian Journal of Philosophy, 2011, v. 89, n. 2, p. 315, doi. 10.1080/00048401003639832

By:

Sytsma, Justin;
Livengood, Jonathan

Publication type:

Article

GÖDEL'S CAUTIONS - SOME COMMENTSe.

Published in:

Saeculum (12212245), 2016, n. 2, p. 165

By:

DRĂGHICI, Virgil

Publication type:

Article

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:

RIGO, MICHEL;
WAXWEILER, LAURENT;
Yu, Sheng

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:

BORDIHN, HENNING;
KUTRIB, MARTIN;
MALCHER, ANDREAS;
Yu, Sheng

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:

KUPPUSAMY, LAKSHMANAN;
MAHENDRAN, ANAND;
KRITHIVASAN, KAMALA;
Jonoska, Natasha

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:

Nies, André

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:

Lampert, Timm

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:

Heck, Richard G.

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:

SER&Eacute'NY, GYÖRGY

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:

TENNANT, NEIL

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:

MILNE, PETER

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:

KOELLNER, PETER

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:

FEFERMAN, SOLOMON

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:

Čadek, Martin;
Krčál, Marek;
Matoušek, Jiří;
Vokřínek, Lukáš;
Wagner, Uli

Publication type:

Article

ON THE QUESTION OF WHETHER THE MIND CAN BE MECHANIZED, I: FROM GÖDEL TO PENROSE.

Published in:

Journal of Philosophy, 2018, v. 115, n. 7, p. 337

By:

KOELLNER, PETER

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:

ROBERTO PALACIO FERNÁNDEZ, JORGE

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:

Tomasini, Alejandro

Publication type:

Article

A Study of Influence of Different Translation Aids on Chinese EFL Majors' Construal of the Original in C-E Translation.

Published in:

Theory & Practice in Language Studies (TPLS), 2012, v. 2, n. 8, p. 1693, doi. 10.4304/tpls.2.8.1693-1698

By:

Xiaonong Wang;
Bo Chang

Publication type:

Article