Tag computability [86 articles] Export

Recent papers classified by the tag computability.

	Turing oracle machines, online computing, and three displacements in computability theory☆ [My Copy] Annals of Pure and Applied Logic (07 May 2009) by Robert I. Soare posted to turing_machine history_of_science curch-turing_thesis computability by ajk on 2009-10-22 09:53:35 as
	Computers and Intractability: A Guide to the Theory of NP-Completeness [My Copy] (15 January 1979) by M. R. Garey, D. S. Johnson posted to np-completeness computers computability by NitinCR on 2009-09-13 22:22:02 as along with 17 people frimjon tanderson dcordeiro pverstra gale82 creswick greenw ima danielaugot chechetka lcigler fdr eporreca Fin payton345 djlin tkollar
	Turing's Landscape: decidability, computability and complexity in string theory [My Copy] (10 Sep 2009) by Abhijnan Rej posted to string_landscape decidability computability complexity by NitinCR on 2009-09-11 13:15:54 as along with 2 people demirci janpaniev
	Non-computable strategies and discounted repeated games [My Copy] Economic Theory, Vol. 8, No. 1. (1 February 1996), pp. 103-122. by John H. Nachbar, William R. Zame posted to gametheory computability by lcigler on 2009-08-31 13:21:20 as
	Incomputability [My Copy] ACM Computing Surveys, Vol. 4, No. 3. (1972), pp. 169-178. by C. A. R. Hoare, D. C. S. Allison posted to recursion paradox computability 1972 by michaelbanks on 2009-08-20 17:56:35 as
	In the beginning was game semantics [My Copy] (24 Oct 2008) by Giorgi Japaridze posted to 2008 computability game-theory logic semantics by michaelbanks on 2009-07-15 13:58:48 as along with 1 person Anyzev
	The intelligibility of the universe and the notions of simplicity, complexity and irreducibility [My Copy] (2002) by G. Chaitin posted to complexities complexity compressibility computability computational-science extremality irreducibility learnability learning-costs simplicity total-order universes by Scis0000002 on 2009-06-25 21:36:16 as along with 3 people and 1 group gogoasa sdvillal livingthingdan livingthing
	Computable invariance [My Copy] Theoretical Computer Science, Vol. 210, No. 1. (1999), pp. 3-20. by Vasco Brattka posted to computability invariances by Scis0000002 on 2009-06-13 16:54:37 as along with 1 person scis0000001
	Non-computability of competitive equilibrium [My Copy] Economic Theory, Vol. 14, No. 1. (18 July 1999), pp. 1-27. by Marcel K. Richter, Kam-Chau Wong posted to bounded_rationality computability general_equilibrium by ShureG on 2009-06-08 13:09:37 as
	Computational issues in belief revision [My Copy] The Logic of Theory Change (1991), pp. 49-71. by João Martins posted to belief-revision computability logic philosophy by pkazmierczak on 2009-05-10 22:38:29 as
	Interactive Computation: The New Paradigm [My Copy] by Dina Q. Goldin, Scott A. Smolka, Peter Wegner posted to computability interaction by isotelesis on 2009-05-06 02:52:57 as along with 9 people and 2 groups sebis-bibliothek Mandre fmatthes pverstra scis0000001 rgb csolar1971 tekno scottmoody macc pileWorks
	An impossible program [My Copy] The Computer Journal, Vol. 7, No. 4. (1 January 1965), 313. by C. Strachey posted to classic computability by dejan on 2009-05-05 23:58:20 as
	Computation and brain processes, with special reference to neuroendocrine systems. [My Copy] Acta Biomed, Vol. 78 Suppl 1 (2007), pp. 67-83. by R. Toni, G. Spaletta, C. D. Casa, S. Ravera, G. Sandri posted to brain-processes computability neuroendocrinology by Scis0000002 on 2009-03-16 15:43:50 as along with 1 person and 4 groups jwdietrich MathBio Cybernetics Biomedical_Cybernetics AQUA-FONTIS-Study
	Extended impossibility results for asynchronous complete networks [My Copy] Inf. Process. Lett., Vol. 26, No. 3. (1987), pp. 145-151. by S. Moran, Y. Wolfstahl posted to asynchronous computability impossiblity topology by xingwuliu on 2009-03-12 04:59:53 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 adaptive_system chaos complex_system computability fractal by wangbo on 2009-03-07 08:33:34 as along with 7 people and 3 groups AbnerCYH daveh spirit_of_numenor majak cerkut VRadenovic robertoalamino ComplexAdaptiveSystems FAL DSTO-CAS
	Read-Write Reductions [My Copy] Distributed Computing and Networking (2006), pp. 349-354. by Eli Gafni posted to computability distributed read reduction register write by xingwuliu on 2009-03-06 06:16:04 as
	A combinatorial characterization of the distributed tasks which are solvable in the presence of one faulty processor [My Copy] In PODC '88: Proceedings of the seventh annual ACM Symposium on Principles of distributed computing (1988), pp. 263-275. by Ofer Biran, Shlomo Moran, Shmuel Zaks posted to combinatorial computability distributed fault graph seminal tolerant by xingwuliu on 2009-03-04 01:22:58 as
	The asynchronous computability theorem for <italic>t</italic>-resilient tasks [My Copy] In STOC '93: Proceedings of the twenty-fifth annual ACM symposium on Theory of computing (1993), pp. 111-120. by Maurice Herlihy, Nir Shavit posted to asynchronous computability distributed set-consensus by xingwuliu on 2009-03-03 01:25:53 as
	Computability and Recursion [My Copy] The Bulletin of Symbolic Logic, Vol. 2, No. 3. (1996), pp. 284-321. by Robert I. Soare posted to church computability godel history lambda-calculus recursion turing by spl on 2009-03-02 12:24:28 as along with 2 people hugonobrega eporreca
	No Double Discount: Condition-Based Simultaneity Yields Limited Gain [My Copy] Distributed Computing (2008), pp. 423-437. by Yoram Moses, Michel Raynal posted to computability distributed by xingwuliu on 2009-03-02 03:39:09 as
	Continuous Consensus with Failures and Recoveries [My Copy] Distributed Computing (2008), pp. 408-422. by Tal Mizrahi, Yoram Moses posted to computability consensus distributed fault-tolerant by xingwuliu on 2009-03-02 03:36:28 as
	The limits of computability [My Copy] Commun. ACM, Vol. 51, No. 11. (2008), pp. 17-19. by David Lindley posted to 2008 computability by leonardo on 2008-10-23 10:37:51 as along with 2 people ashwinn MarcoAlvarez
	Physical limits of inference [My Copy] Physica D: Nonlinear Phenomena, Vol. 237, No. 9. (01 July 2008), pp. 1257-1281. by D. Wolpert posted to computability physics by memming on 2008-10-19 00:20:49 as along with 2 people ruffini brian
	The Nakamura numbers for computable simple games [My Copy] Social Choice and Welfare, Vol. 31 (2008), pp. 621-640. by Masahiro Kumabe, H. R. Mihara posted to axiomatic-method computability computer_science cooperative_game_theory core economics multi-criterion-decision-making nakamura-number political_science social_choice vita voting-games by reiju on 2008-10-13 01:13:36 as
	The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine [My Copy] (16 June 2008) by Charles Petzold posted to computability turing turing_machine by NitinCR on 2008-10-03 13:02:36 as along with 1 person hawkestein
	Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers (Studies in Logic and the Foundations of Mathematics) [My Copy] (04 February 1992) by P. Odifreddi posted to computability recursion-theory by reiju on 2008-08-28 23:35:30 as
	Classes of Recursively Enumerable Sets and Their Decision Problems [My Copy] Transactions of the American Mathematical Society, Vol. 74, No. 2. (1953), pp. 358-366. by H. G. Rice posted to algorithms computability computer_science recursion-theory rice-theorem turing-computability by reiju on 2008-08-28 23:07:18 as along with 1 person and 1 group AbnerCYH CSBBGraphTheory
	Thinking may be more than computing [My Copy] Cognition, Vol. 22, No. 2. (March 1986), pp. 137-198. by Peter Kugel posted to and computability mind by JakubSzymanik on 2008-08-18 15:01:07 as
	A constructive Borel-Cantelli Lemma. Constructing orbits with required statistical properties [My Copy] (30 Jun 2008) by Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas posted to computability dynamical-system metric-space numerical probability by ansobol on 2008-07-23 10:02:42 as
	Computability of simple games: A characterization and application to the core [My Copy] Journal of Mathematical Economics, Vol. 44, No. 3-4. (February 2008), pp. 348-366. by Masahiro Kumabe, H. R. Mihara posted to computability computable-manuals-and-contracts computer_science cooperative_game_theory economics infinitely-many-players nakamura-number political_science recursion-theory rice-theorem social_choice turing-computability vita voting-games by reiju on 2008-05-21 05:21:14 as
	Nonanonymity and sensitivity of computable simple games [My Copy] Mathematical Social Sciences, Vol. 48, No. 3. (November 2004), pp. 329-341. by H. R. Mihara posted to anonymity computability computer_science cooperative_game_theory economics infinitely-many-players political_science recursion-theory social_choice ultrafilters vita voting-games by reiju on 2008-05-21 05:18:51 as
	Arrow's theorem, countably many agents, and more visible invisible dictators [My Copy] Journal of Mathematical Economics, Vol. 32, No. 3. (November 1999), pp. 267-287. by H. R. Mihara posted to arrow-impossibility-theorem computability computer_science economics free-ultrafilters oracle-algorithms political_science preference-aggregation recursion-theory social_choice vita by reiju on 2008-05-21 05:07:29 as
	Arrow's Theorem and Turing computability [My Copy] Economic Theory, Vol. 10, No. 2. (1997), pp. 257-276. by H. R. Mihara posted to algorithms arrow-impossibility-theorem computability computer_science economics hayeks-knowledge-problem political_science preference-aggregation recursion-theory social_choice ultrafilters vita by reiju on 2008-05-21 05:02:50 as
	Introduction to Automata Theory, Languages, and Computation (2nd Edition) [My Copy] (14 November 2000) by John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman posted to automata complexity computability context-free languages mythesis regular by eporreca on 2008-05-13 09:15:27 as along with 7 people jpbarrette markusd sdvillal marciolima leidner whshen JakubSzymanik
	Computability Theory [My Copy] (17 November 2003) by Barry S. Cooper posted to algorithms computability recursion theory by JakubSzymanik on 2008-04-25 12:13:35 as along with 1 person jimburton
	Why Occam's Razor [My Copy] (28 Jan 2004) by Russell K. Standish posted to algorithmic-information-theory cantor-space computability computability-logic computational-cosmology cosmologcal-theories descriptive-complexity diophantine-equations domain-theory enumerability formal-system formal-systems formal-theories no-boundary-conditions polynomial-equations polynomials recursively-enumerable-formal-systems recursively-enumerable-sets recursively-enumerable-theorems toe toes topos-theory unifying by Scis0000002 on 2008-04-08 19:11:09 as
	Uncomputability: the problem of induction internalized [My Copy] Theoretical Computer Science In Super-Recursive Algorithms and Hypercomputation, Vol. 317, No. 1-3. (4 June 2004), pp. 227-249. by Kelly posted to computability empiricism induction ockhams_razor philosophy by mdreid on 2008-02-21 23:23:47 as
	Goedel and Physics [My Copy] (29 Dec 2006) by John D. Barrow posted to computability goedel by mstn on 2008-02-16 20:05:06 as along with 3 people NitinCR gpi Scis0000002
	Measurability and Computability [My Copy] (16 Sep 1998) by Masanao Ozawa posted to computability measurability physics quantum by mstn on 2008-02-16 20:03:59 as along with 1 person scis0000001
	Computability : An Introduction to Recursive Function Theory [My Copy] (19 June 1980) by N. J. Cutland posted to computability by mstn on 2008-02-16 19:57:21 as along with 2 people and 1 group camster BarrosH dbk-lab
	Towards a Coherent Theory of Physics and Mathematics: The Theory-Experiment Connection [My Copy] ArXiv Quantum Physics e-prints (March 2004) by P. Benioff posted to abstract-machines bit-string-physics bit-strings cantor-space cardinality complex-numbers complexity-classes computability computational-numbers continued-fractions experiments finite-precision fol formal-physics hierarchy-of-theories hypercomplex-numbers hyperreal-numbers logical-structures logical-theories mathematical-structures measurement number-theory philospohy-of-science physical-structures physical-theories rational-numbers real-numbers sequences theories toes by Scis0000002 on 2008-01-17 21:34:18 as
	Quantum Computability [My Copy] SIAM J. Comput., Vol. 26, No. 5. (October 1997), pp. 1524-1540. by Leonard M. Adleman, Jonathan Demarrais, Ming-Deh A. Huang posted to computability computability-theory quantum-computability by Scis0000002 on 2007-12-27 13:23:15 as
	On Polynomial Time Computable Numbers [My Copy] (16 Aug 2006) by Tetsushi Matsui posted to algebra algebraically closed complexity computability computable field numbers polynomial time by eporreca on 2007-12-16 13:44:34 as along with 4 people ansobol jrw proportional dmitri83
	An Unsolvable Problem of Elementary Number Theory [My Copy] American Journal of Mathematics, Vol. 58, No. 2. (1936), pp. 345-363. by Alonzo Church posted to calculus computability cs lambda by eporreca on 2007-12-10 12:23:18 as along with 3 people adebuitleir ajk JakubSzymanik
	An Argument Against Church's Thesis [My Copy] The Journal of Philosophy, Vol. 70, No. 3. (1973), pp. 66-76. by Lee G. Bowie posted to church computability cs thesis by eporreca on 2007-12-10 12:08:45 as along with 1 person mstn
	From Cardinals to Chaos: Reflection on the Life and Legacy of Stanislaw Ulam [My Copy] (24 February 1989) posted to complexity computability computational-physics by Scis0000002 on 2007-11-05 00:19:28 as
	Computable Economics: Methodology and Philosophy (Routledge Advances in Experimental & Computable Economics) [My Copy] (2007) by K. Velupillai posted to algorithmic-economics computability computability-logic computable-economics constructive-economics constructive-mathematics effective-topos hypercomputability by Scis0000002 on 2007-11-04 17:15:15 as
	On effectively computable realizations of choice functions : Dedicated to Professors Kenneth J. Arrow and Anil Nerode [My Copy] Mathematical Social Sciences, Vol. 10, No. 1. (August 1985), pp. 43-80. by Alain A. Lewis posted to choice-functions computability computable-economics realizability by Scis0000002 on 2007-11-04 17:01:40 as
	Computability of probability measures and Martin-Lof randomness over metric spaces [My Copy] (6 Sep 2007) by Mathieu Hoyrup, Cristobal Rojas posted to cantor-set computability probability by ansobol on 2007-09-07 19:41:53 as
	Algebraic Algorithmics: Theory and Applications [My Copy] pp. 6-15. by G. E. Tseitlin posted to algebraicity computability metaalgebras by Scis0000002 on 2007-07-29 18:26:25 as

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

Result page: 1 2 Next

logic	15
incompleteness	10
complexity	9
turing	9
computability-logic	6
computer_science	6
recursion-theory	6
algorithmic-information-theory	5
chu-space	5
computational-epistemology	5
distributed	5
domain-theory	5
economics	5
math-bib	5
ordinals	5
political_science	5
social_choice	5
vita	5
mathematical-structures	4
recursion	4
algorithms	3
all-logical-theories	3
calculus	3
church	3
computability-theory	3
computational-category-theory	3
cooperative_game_theory	3
cs	3
decidability	3
emergence	3
iff	3
interactivity	3
logical-theories	3
philosophy	3
physical-structures	3
physics	3
voting-games	3
2008	2
abstract-state-machines	2
adaptability	2
aixi	2
algebraic	2
arrow-impossibility-theorem	2
asynchronous	2
behavior	2
cantor-space	2
computable-economics	2
computational-cosmology	2
computational-physics	2
computer-science	2
definability	2
dynamics	2
effective-topos	2
enumerability	2
evolutionary-algorithms	2
formal-theories	2
godel	2
gtm	2
history	2
hypercomputability	2
infinite	2
infinitely-many-players	2
information-system	2
intelligence-order-relations	2
interaction	2
interference	2
lambda	2
lattice-of-theories	2
logical-structures	2
metalogics	2
nakamura-number	2
numerical	2
preference-aggregation	2
probability	2
quantum-computability	2
realizability	2
relativity	2
rice-theorem	2
semantics	2
thesis	2
toe	2
toes	2
topology	2
topos-theory	2
turing-computability	2
turing_machine	2
ultrafilters	2
unified-concept-theory	2
category-of-formal-contexts	1
complexity-classes	1
curch-turing_thesis	1
decision-procedure	1
exploring	1
hyperreal-numbers	1
induction	1
locally-compact-space	1
measurability	1
rational-numbers	1
scott-information-system	1
time	1

Tag computability [86 articles] Export

Related Tags