GENERAL NOTIONS OF CONSISTENCY.
- Published in:
- Review of Symbolic Logic, 2025, v. 18, n. 2, p. 616, doi. 10.1017/S1755020325000024
- By:
- Publication type:
- Article
Works matching DE "INCOMPLETENESS theorems"
Results: 286
1
2
Undecidability and Reversibility.
- Published in:
- CR: The New Centennial Review, 2021, v. 21, n. 1, p. 1
- By:
- Publication type:
- Article
3
An Indian solution to ‘incompleteness’.
- Published in:
- AI & Society, 2009, v. 24, n. 4, p. 351, doi. 10.1007/s00146-009-0209-2
- By:
- Publication type:
- Article
4
Relationship of the kinematic properties of cD galactic clusters to their radiative characteristics.
- Published in:
- Astrophysics, 2013, v. 56, n. 3, p. 359, doi. 10.1007/s10511-013-9291-8
- By:
- Publication type:
- Article
5
დრეკად თხელკედლოვან სტრუქტურათა სამგანზომილებიანი მოდელების რედუქციის შესახებ
- Published in:
- Moambe-Bulletin of Akaki Tsereteli State University, 2024, v. 23, n. 1, p. 252, doi. 10.52340/atsu.2024.23.01.21
- By:
- Publication type:
- Article
6
Hans Magnus Enzensberger a teorém bezespornosti.
- Published in:
- Word & Sense / Slovo a Smysl, 2020, n. 33, p. 85, doi. 10.14712/23366680.2020.1.4
- By:
- Publication type:
- Article
7
Neutrosophic Examples in Physics.
- Published in:
- Neutrosophic Sets & Systems, 2013, n. 1, p. 26
- By:
- Publication type:
- Article
8
THE LIMITS OF HUMAN MATHEMATICS.
- Published in:
- Nous (0029-4624), 2001, v. 35, n. s15, p. 93, doi. 10.1111/0029-4624.35.s15.5
- By:
- Publication type:
- Article
9
Cantor-like transfinite sequences and Gödel-like incompleteness revealed by means of Mersenne transfinite dimensional boolean hypercube concatenation.
- Published in:
- 2020
- By:
- Publication type:
- Letter
10
Edgar Morin e l'epistemologia dell'incompletezza.
- Published in:
- Studi Sulla Formazione, 2021, v. 24, n. 2, p. 31, doi. 10.13128/ssf-13346
- By:
- Publication type:
- Article
11
Determining Process Model Using Time-Based Process Mining and Control-Flow Pattern.
- Published in:
- Telkomnika, 2016, v. 14, n. 1, p. 349, doi. 10.12928/TELKOMNIKA.v14i1.3257
- By:
- Publication type:
- Article
12
The Physics of Interdependence, Social Uncertainty Relations, and Incompleteness.
- Published in:
- Journal of Engineering Science & Technology Review, 2015, v. 8, n. 1, p. 72
- By:
- Publication type:
- Article
13
The Constructive Mathematics of A. A. Markov.
- Published in:
- American Mathematical Monthly, 2006, v. 113, n. 6, p. 559, doi. 10.2307/27641983
- By:
- Publication type:
- Article
14
GÖDEL'S THEOREM AND DIRECT SELF-REFERENCE.
- Published in:
- Review of Symbolic Logic, 2023, v. 16, n. 2, p. 650, doi. 10.1017/S1755020321000526
- By:
- Publication type:
- Article
15
A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH.
- Published in:
- Review of Symbolic Logic, 2022, v. 15, n. 4, p. 880, doi. 10.1017/S1755020321000265
- By:
- Publication type:
- Article
16
ON THE INVARIANCE OF GÖDEL'S SECOND THEOREM WITH REGARD TO NUMBERINGS.
- Published in:
- Review of Symbolic Logic, 2021, v. 14, n. 1, p. 51, doi. 10.1017/S1755020320000192
- By:
- Publication type:
- Article
17
INCOMPLETENESS VIA PARADOX AND COMPLETENESS.
- Published in:
- Review of Symbolic Logic, 2020, v. 13, n. 3, p. 541, doi. 10.1017/S1755020319000212
- By:
- Publication type:
- Article
18
ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM.
- Published in:
- Review of Symbolic Logic, 2020, v. 13, n. 2, p. 269, doi. 10.1017/S1755020319000248
- By:
- Publication type:
- Article
19
COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS.
- Published in:
- Review of Symbolic Logic, 2019, v. 12, n. 3, p. 487, doi. 10.1017/S1755020317000259
- By:
- Publication type:
- Article
20
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
21
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
22
PROVING UNPROVABILITY.
- Published in:
- Review of Symbolic Logic, 2017, v. 10, n. 1, p. 92, doi. 10.1017/S1755020316000216
- By:
- Publication type:
- Article
23
A MACHINE-ASSISTED PROOF OF GÖDEL’S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS.
- Published in:
- Review of Symbolic Logic, 2014, v. 7, n. 3, p. 484, doi. 10.1017/S1755020314000112
- By:
- Publication type:
- Article
24
On Isosceles Sets in the 4-Dimensional Euclidean Space.
- Published in:
- International Journal of Combinatorics, 2010, v. 2010, p. 1, doi. 10.1155/2010/803210
- By:
- Publication type:
- Article
25
Causal geodesic incompleteness of spacetimes arising from IMP gluing.
- Published in:
- General Relativity & Gravitation, 2019, v. 51, n. 10, p. N.PAG, doi. 10.1007/s10714-019-2621-3
- By:
- Publication type:
- Article
26
The limitless first incompleteness theorem.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzaf012
- By:
- Publication type:
- Article
27
Tarski's Undefinability Theorem and the Diagonal Lemma.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 3, p. 489, doi. 10.1093/jigpal/jzab016
- By:
- Publication type:
- Article
28
'Sometime a paradox', now proof: Yablo is not first order.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 1, p. 71, doi. 10.1093/jigpal/jzaa051
- By:
- Publication type:
- Article
29
The free non-commutative cylindric algebras are not atomic.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 5, p. 673, doi. 10.1093/jigpal/jzw058
- By:
- Publication type:
- Article
30
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:
- Publication type:
- Article
31
A new principle in the interpretability logic of all reasonable arithmetical theories.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 1, p. 1, doi. 10.1093/jigpal/jzp082
- By:
- Publication type:
- Article
32
Phase semantics for linear-time formalism.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 1, p. 121, doi. 10.1093/jigpal/jzq023
- By:
- Publication type:
- Article
33
On atomicity of free algebras in certain cylindric-like varieties.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 1, p. 44, doi. 10.1093/jigpal/jzp098
- By:
- Publication type:
- Article
34
A Note on Interaction and Incompleteness.
- Published in:
- Logic Journal of the IGPL, 2003, v. 11, n. 5, p. 513, doi. 10.1093/jigpal/11.5.513
- By:
- Publication type:
- Article
35
The role of artificial intelligence in life-sustaining treatment decisions: current state and future considerations.
- Published in:
- Intensive Care Medicine, 2025, v. 51, n. 1, p. 157, doi. 10.1007/s00134-024-07738-4
- By:
- Publication type:
- Article
36
Theories and Theories of Truth.
- Published in:
- Metaphysica, 2011, v. 12, n. 1, p. 31, doi. 10.1007/s12133-011-0075-5
- By:
- Publication type:
- Article
37
Certain Answers over Incomplete XML Documents: Extending Tractability Boundary.
- Published in:
- Theory of Computing Systems, 2015, v. 57, n. 4, p. 892, doi. 10.1007/s00224-014-9596-y
- By:
- Publication type:
- Article
38
TAMING THE INCOMPUTABLE, RECONSTRUCTING THE NONCONSTRUCTIVE AND DECIDING THE UNDECIDABLE IN MATHEMATICAL ECONOMICS.
- Published in:
- New Mathematics & Natural Computation, 2012, v. 8, n. 1, p. 5, doi. 10.1142/S1793005712400017
- By:
- Publication type:
- Article
39
EINSTEIN MEETS GÖDEL.
- Published in:
- New Mathematics & Natural Computation, 2012, v. 8, n. 1, p. 123, doi. 10.1142/S179300571240008X
- By:
- Publication type:
- Article
40
Stanley Jaki Foundation International Congress 2015.
- Published in:
- Zygon: Journal of Religion & Science, 2020, v. 55, n. 4, p. 1130, doi. 10.1111/zygo.12652
- By:
- Publication type:
- Article
41
Are the Gödel incompleteness theorems limitative results for the neurosciences?
- Published in:
- Journal of Biological Physics, 2010, v. 36, n. 1, p. 23, doi. 10.1007/s10867-009-9160-1
- By:
- Publication type:
- Article
42
Neo-Logicism and Gödelian Incompleteness.
- Published in:
- Mind (0026-4423), 2022, v. 131, n. 524, p. 1055, doi. 10.1093/mind/fzac044
- By:
- Publication type:
- Article
43
Le poppérisme en science économique : entre incomplétude et connivence.
- Published in:
- Natures Sciences Sociétés, 2012, v. 20, n. 2, p. 181, doi. 10.1051/nss/2012018
- By:
- Publication type:
- Article
44
Defect polynomials and Tutte polynomials of some asymmetric graphs.
- Published in:
- Turkish Journal of Mathematics, 2015, v. 39, n. 5, p. 706, doi. 10.3906/mat-1405-67
- By:
- Publication type:
- Article
45
Incomplete contract, agency theory and ethical performance.
- Published in:
- Journal of General Management, 2013, v. 38, n. 4, p. 39, doi. 10.1177/030630701303800404
- By:
- Publication type:
- Article
46
On the necessity of importing neurobiology into mathematics.
- Published in:
- PsyCh Journal, 2022, v. 11, n. 5, p. 755, doi. 10.1002/pchj.524
- By:
- Publication type:
- Article
47
Rationality As A Meta-Analytical Capacity of the Human Mind: From the Social Sciences to Gödel.
- Published in:
- Philosophy of the Social Sciences, 2023, v. 53, n. 3, p. 167, doi. 10.1177/00483931221115345
- By:
- Publication type:
- Article
48
Analysis of pairwise comparison matrices: an empirical research.
- Published in:
- Annals of Operations Research, 2013, v. 211, n. 1, p. 511, doi. 10.1007/s10479-013-1328-1
- By:
- Publication type:
- Article
49
Pooling, pricing and trading of risks.
- Published in:
- Annals of Operations Research, 2009, v. 165, n. 1, p. 145, doi. 10.1007/s10479-007-0305-y
- By:
- Publication type:
- Article
50
John Von Neumann and Hilbert's School.
- Published in:
- Poznan Studies in the Philosophy of the Sciences & the Humanities, 2010, v. 98, n. 1, p. 195
- Publication type:
- Article