Tag incompleteness [38 articles] Export

Recent papers classified by the tag incompleteness.

	Conservativeness and Incompleteness [My Copy] The Journal of Philosophy, Vol. 80, No. 9. (1983), pp. 521-531. by Stewart Shapiro posted to shapiro incompleteness conservativeness by cirodeflorio on 2009-09-14 10:31:33 as along with 2 people and 1 group rzach madzic LogicPhilMath
	Godel's Proof [My Copy] (01 October 2001) by Ernest Nagel, James R. Newman posted to 2001 godel incompleteness logic mathematics by michaelbanks on 2009-05-14 14:32:20 as along with 2 people NitinCR Adso
	Physical limits of inference [My Copy] (10 Aug 2007) by David H. Wolpert posted to incompleteness knowledge-limits ml-philosophy simplicity by sdvillal on 2009-05-02 13:46:48 as along with 7 people and 2 groups stringertheory A_Olympia proportional suizan qwermish abominable pak Philosophy_of_Information Blog_and_Wiki_Research
	Gödel's Proof [My Copy] (01 October 2008) by Ernest Nagel, James Newman, Douglas R. Hofstadter posted to godel incompleteness proof by NitinCR on 2009-04-18 11:04:21 as along with 2 people hugonobrega brian
	An Introduction to Gödel's Theorems [My Copy] (06 August 2007) by Peter Smith posted to incompleteness by Scis0000002 on 2009-04-05 21:40:24 as along with 3 people pirapira dwei98 NitinCR
	Incomplete Contracts: Where do We Stand? [My Copy] Econometrica, Vol. 67, No. 4. (1999), pp. 741-781. by Jean Tirole posted to behavior-spaces contract-models contract-theories contracting contracting-theories contracts contractual-frameworks contractual-models contractual-theories deciding derivatives incomplete-contracts incompleteness interactivity jurstice-theories justice-frameworks negotiating paraconsistency probability-theory reconstructing specifications uncertainty by Scis0000002 on 2009-04-05 21:31:36 as
	Incompleteness: The Proof and Paradox of Kurt Godel [My Copy] (06 February 2006) by Rebecca Goldstein posted to godel incompleteness logic mathematics by Aubrey on 2009-03-24 23:38:58 as along with 2 people NitinCR dlouzeck
	Thinking about Gödel and Turing: Essays on Complexity (1970-2007) [My Copy] (06 August 2007) by Gregory J. Chaitin posted to chaitin complexity godel incompleteness turing uncomputability by NitinCR on 2008-10-03 12:46:29 as
	Godel's Incompleteness Theorems [My Copy] (20 August 1992) by Raymond M. Smullyan posted to godel incompleteness logic by NitinCR on 2008-09-17 22:56:23 as along with 1 person dwei98
	Semantically Correct Query Answers in the Presence of Null Values [My Copy] Current Trends in Database Technology – EDBT 2006 (2006), pp. 336-357. by Loreto Bravo, Leopoldo Bertossi posted to incompleteness inconsistencies by fsautomata on 2008-05-23 20:17:30 as
	Reflection principles and iterated consistency assertions [My Copy] J. Symbolic Logic, Vol. 44, No. 1. (1979), pp. 33-35. by George Boolos posted to consistency _copy _dipl incompleteness logic provability reflection by adrian_pigors on 2008-04-29 10:09:51 as
	A note on applicability of the incompleteness theorem to human mind [My Copy] Ann. Pure Appl. Logic, Vol. 96, No. 1-3. (1999), pp. 335-342. by Pavel Pudlák posted to consistency _copy incompleteness reflection by adrian_pigors on 2008-04-29 09:53:42 as along with 1 person JakubSzymanik
	The Significance of the Categories "Part" and "Whole" for the Epistemology of Theology [My Copy] The Journal of Religion, Vol. 66, No. 4. (1986), pp. 369-385. by Wolfhart Pannenberg, Philip Clayton posted to categories categorisation completeness epistemology fragments incompleteness knowledge part partiality philosophy theology theory tok whole by jannon on 2008-03-10 17:16:27 as
	Gödel's second theorem for elementary arithmetic [My Copy] Z. Math. Logik Grundlagen Math., Vol. 14 (1968), pp. 67-80. by Lawrence J. Pozsgay posted to _copy _dipl goedel incompleteness by adrian_pigors on 2008-02-26 12:12:20 as
	On an alleged refutation of Hilbert's program using Gödel's first incompleteness theorem [My Copy] J. Philos. Logic, Vol. 19, No. 4. (1990), pp. 343-377. by Michael Detlefsen posted to consistency _copy goedel hilbert incompleteness by adrian_pigors on 2008-02-22 11:57:22 as
	Arithmetization of metamathematics in a general setting [My Copy] Fund. Math., Vol. 49 (1960/1961), pp. 35-92. by S. Feferman posted to arithmetization _copy _dipl goedel incompleteness provability by adrian_pigors on 2008-02-21 13:47:57 as
	Incompleteness along paths in progressions of theories [My Copy] J. Symbolic Logic, Vol. 27 (1962), pp. 383-390. by S. Feferman, C. Spector posted to _copy _dipl goedel incompleteness ordinal provability by adrian_pigors on 2008-02-21 13:29:51 as
	My route to arithmetization [My Copy] Theoria, Vol. 63, No. 3. (1997), pp. 168-181. by Solomon Feferman posted to arithmetization consistency _copy _dipl goedel incompleteness by adrian_pigors on 2008-02-21 13:20:23 as
	Goedel and Physics [My Copy] (29 Dec 2006) by John D. Barrow posted to incompleteness physics by Scis0000002 on 2008-01-17 14:37:37 as along with 3 people NitinCR gpi mstn
	Fundamental Physical Constants and the Principle of Parametric Incompleteness [My Copy] (7 Sep 1999) by S. S. Stepanov posted to and constants fundamental incompleteness of parametric physical principle the by A_Olympia on 2007-10-16 19:50:26 as along with 1 person Michael_Sherbon
	Diagonal arguments and Cartesian closed categories [My Copy] Repr. Theory Appl. Categ., No. 15. (2006), pp. 1-13 (electronic). by William F. Lawvere posted to cartesian_closed_category category_theory _copy diagonalization goedel incompleteness by adrian_pigors on 2007-10-09 10:36:19 as
	Does Quantum Mechanics allow for Infinite Parallelism? [My Copy] ArXiv Quantum Physics e-prints (October 2004) by M. Ziegler posted to abilities computability decidability definability describability enumerability halting-problem incompleteness metalogics parallelism by Scis0000002 on 2007-07-28 15:17:44 as
	On Formally Undecidable Propositions of Principia Mathematica and Related Systems [My Copy] (01 April 1992) by Kurt Gödel posted to incompleteness principia_mathematica undecidable_propositions by NitinCR on 2007-05-12 09:31:57 as
	Martingale pricing measures in incomplete markets via stochastic programming duality in the dual of L [My Copy] (2002) by A. King, L. Korf posted to incompleteness martingale pricing by scis0000001 on 2007-03-20 09:23:26 as along with 1 person Scis0000002
	Optimal consumption and arbitrage in incomplete, finite state security markets [My Copy] Annals of Operations Research, Vol. V45, No. 1. (30 December 1993), pp. 349-372. by Hiroshi Shirakawa, Hiromichi Kassai posted to arbitrage consumption incompleteness optimal by scis0000001 on 2007-03-20 09:21:47 as
	A Generalized Nash Solution for Two-Person Bargaining Games with Incomplete Information [My Copy] Management Science, Vol. 18, No. 5. (January 1972), pp. P80-P106. by John C. Harsanyi, Reinhard Selten posted to game-theory incompleteness by scis0000001 on 2007-03-17 13:21:21 as along with 1 person toomash
	Pricing and Hedging in Incomplete Markets [My Copy] (2001) by P. Carr, H. Geman, D. Madan posted to hedging incompleteness markets positioning pricing by scis0000001 on 2007-03-17 10:10:51 as
	Paraconsistency of Interactive Computation [My Copy] (21 Jul 2002) by Dina Goldin, Peter Wegner posted to abduction all-computational-structures all-logical-theories all-physical-structures computability-logic concurrency consistency contradiction countability decoherence domain-theory dynamical-system enumerability equivalence-class fol game-theory games generalized-algorithmic-probability generalized-kolmogorov-complexity gtm iff incompleteness inference infinite interactivity lattice-of-theories logics long-range-correlation many-body metaevolution metalogic-programming minimum-sufficient-statistic modeling nonmonotonicity observability paraconsistency problem-solving proof-tree quantum-field-computation quantum-vacuum relevant-logic resources scale-relativity self-duality semantics symmetry-breaking syntax temporal-relevant-logic time-horizon universality universality-class by scis0000001 on 2007-02-18 15:19:53 as
	Argumentation-theoretic proof procedures for default reasoning [My Copy] (1997) by P. Dung, R. Kowalski, F. Toni posted to argumentation argumentation-theory atp category-theory computability-logic curry-howard-isomorphism dialogue game-theory games implementation incompleteness lp metalogic-programming metalogics model-theory nonmonotonicity oops proof proof-procedure proof-search proof-theory proof-tree protocol search-space searching semantics specification stone-duality tree by scis0000001 on 2007-02-14 14:09:28 as
	Normalizing Incomplete Databases [My Copy] (1995), pp. 219-230. by Leonid Libkin posted to incomplete incompleteness normalization normalizing by scis0000001 on 2006-11-10 08:54:03 as
	A cartesian closed category of approximable concept structures [My Copy] (2004) by P. Hitzler, G. Zhang posted to algebraic algorithmic-information-theory all-logical-theories approximable-concepts axiomatic-system axiomatizations cartesian-closed-categories category-of-formal-contexts category-of-information-systems chu-space closed-categories complete-partial-order computability computability-logic computational-epistemology concept-lattice conceptual-structures cpo domain-theory fca finiteness formal-context iff incompleteness infinite infinite-formal-context information-system lattice lattice-of-theories logical-structures logical-theories lp mda minimal-sufficient-statistic n-information-system nonmonotonicity partial-information polyadic-concept-analysis semantics semweb state-space unified-concept-theory by scis0000001 on 2006-10-13 16:58:05 as
	Hierarchies of generalized Kolmogorov complexities and nonenumerable universal measures computable in the limit [My Copy] (2002) by J. Schmidhuber posted to algorithmic-information-content algorithmic-information-theory computational-epistemology generalized-algorithmic-probability generalized-fractal-dimension generalized-kolmogorov-complexity incompleteness kolmogorov-complexity order-theory paraconsistency partial-order qait total-order by scis0000001 on 2006-09-21 16:31:47 as
	Information-Theoretic Limitations of Formal Systems, Journal of the ACM, 1974 [My Copy] In Information Randomness \& Incompleteness: Papers on Algorithmic Information Theory, Gregory J. Chaitin, World Scientific, Series in Computer Science--Vol. 8 (1987) by Chaitin posted to algorithmic-information-theory formal-system formalization incompleteness by scis0000001 on 2006-08-29 15:15:17 as
	The Unknowable (Discrete Mathematics and Theoretical Computer Science) [My Copy] (05 August 1999) by Gregory J. Chaitin posted to computability incompleteness by spirit_of_numenor to the group ComplexAdaptiveSystems on 2006-04-30 20:18:50 as
	Exploring RANDOMNESS [My Copy] (07 December 2001) by Gregory J. Chaitin posted to algorithmic-information-theory computability incompleteness by spirit_of_numenor on 2006-04-30 20:18:02 as along with 1 group ComplexAdaptiveSystems
	The Limits of Mathematics : A Course on Information Theory and the Limits of Formal Reasoning (Discrete Mathematics and Theoretical Computer Science) [My Copy] (28 October 2002) by Gregory J. Chaitin posted to computability incompleteness by spirit_of_numenor to the group ComplexAdaptiveSystems on 2006-04-30 20:16:38 as
	The Computational Beauty of Nature: Computer Explorations of Fractals, Chaos, Complex Systems, and Adaptation [My Copy] (31 January 2000) by Gary W. Flake posted to complexity computability computer-science emergence evolutionary-algorithms incompleteness by spirit_of_numenor on 2006-04-29 18:07:01 as along with 7 people and 3 groups wangbo AbnerCYH daveh majak cerkut VRadenovic robertoalamino ComplexAdaptiveSystems FAL DSTO-CAS
	Incompleteness, Mechanism, and Optimism [My Copy] The Bulletin of Symbolic Logic, Vol. 4, No. 3. (1998), pp. 273-302. by Stewart Shapiro posted to godel incompleteness lucas mechanism by greg_restall on 2005-06-09 01:18:08 as along with 1 person and 1 group rzach LogicPhilMath

Note: You may cite this page as: http://www.citeulike.org/tag/incompleteness

computability	10
_copy	8
godel	7
goedel	6
_dipl	5
algorithmic-information-theory	5
consistency	5
logic	5
complexity	3
computability-logic	3
game-theory	3
nonmonotonicity	3
paraconsistency	3
provability	3
semantics	3
all-logical-theories	2
arithmetization	2
computational-epistemology	2
computer-science	2
domain-theory	2
emergence	2
enumerability	2
evolutionary-algorithms	2
games	2
generalized-algorithmic-probability	2
generalized-kolmogorov-complexity	2
iff	2
infinite	2
interactivity	2
lattice-of-theories	2
lp	2
mathematics	2
metalogic-programming	2
metalogics	2
philosophy	2
pricing	2
proof	2
proof-tree	2
reflection	2
2001	1
all-physical-structures	1
arbitrage	1
argumentation	1
axiomatizations	1
behavior-spaces	1
books	1
categories	1
closed-categories	1
completeness	1
contract-theories	1
contracting	1
contracting-theories	1
contractual-models	1
contradiction	1
derivatives	1
describability	1
dialogue	1
fca	1
formal-context	1
formal-system	1
formalization	1
fragments	1
gtm	1
hedging	1
incomplete	1
inconsistencies	1
inference	1
information-system	1
knowledge-limits	1
kolmogorov-complexity	1
logical-theories	1
logics	1
long-range-correlation	1
martingale	1
mechanism	1
metaevolution	1
model-theory	1
n-information-system	1
normalization	1
polyadic-concept-analysis	1
proof-theory	1
protocol	1
qait	1
quantum-field-computation	1
quantum-vacuum	1
relevant-logic	1
resources	1
scale-relativity	1
search-space	1
searching	1
self-duality	1
simplicity	1
specification	1
state-space	1
stone-duality	1
syntax	1
total-order	1
turing	1
uncomputability	1
undecidable_propositions	1

Tag incompleteness [38 articles] Export

Related Tags