https://www.bibsonomy.org/tag/ComputabilityBibSonomy RSS Feed for /tag/Computabilityhttps://www.quantamagazine.org/a-short-guide-to-hard-problems-20180716/#analyst2021-03-19T07:57:35+01:00article computability computer-science magazine problem <a itemprop="url" data-versiondate="2021-03-19T07:57:35+01:00" href="https://www.quantamagazine.org/a-short-guide-to-hard-problems-20180716/#" rel="nofollow" class="description-link">https://www.quantamagazine.org/a-short-guide-to-hard-problems-20180716/#</a>https://www.math.ias.edu/files/mathandcomp.pdf#page=1bshanks2018-03-18T06:03:39+01:00complexity computability cs cstheory <a itemprop="url" data-versiondate="2018-03-18T06:03:39+01:00" href="https://www.math.ias.edu/files/mathandcomp.pdf#page=1" rel="nofollow" class="description-link">https://www.math.ias.edu/files/mathandcomp.pdf#page=1</a>http://www.cs.cmu.edu/~odonnell/toolkit13/achakraborty2017-07-29T16:38:16+02:00algorithms computability computer-science graph-theory lectures linear-algebra slides <a itemprop="url" data-versiondate="2017-07-29T16:38:16+02:00" href="http://www.cs.cmu.edu/~odonnell/toolkit13/" rel="nofollow" class="description-link">http://www.cs.cmu.edu/~odonnell/toolkit13/</a>http://www.sumofsquares.org/public/index.htmlachakraborty2017-07-29T16:10:06+02:00algorithms computability computer-science proof <a itemprop="url" data-versiondate="2017-07-29T16:10:06+02:00" href="http://www.sumofsquares.org/public/index.html" rel="nofollow" class="description-link">http://www.sumofsquares.org/public/index.html</a>http://www.introtcs.org/public/index.htmlachakraborty2017-07-29T15:31:27+02:00computability computer-science course <a itemprop="url" data-versiondate="2017-07-29T15:31:27+02:00" href="http://www.introtcs.org/public/index.html" rel="nofollow" class="description-link">http://www.introtcs.org/public/index.html</a>http://arxiv.org/pdf/1505.01340.pdfbshanks2016-12-12T10:00:07+01:00turing cs universal recursiontheory halting halt computability <a itemprop="url" data-versiondate="2016-12-12T10:00:07+01:00" href="http://arxiv.org/pdf/1505.01340.pdf" rel="nofollow" class="description-link">http://arxiv.org/pdf/1505.01340.pdf</a>https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/463CD.pdfbshanks2016-12-12T10:00:07+01:00turing cs universal recursiontheory halting halt computability <a itemprop="url" data-versiondate="2016-12-12T10:00:07+01:00" href="https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/463CD.pdf" rel="nofollow" class="description-link">https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/463CD.pdf</a>http://en.wikipedia.org/wiki/Computation_theorypauljrichardson2015-04-05T03:32:08+02:00Bookmarks_bar MISC Philosophy Computability <a itemprop="url" data-versiondate="2015-04-05T03:32:08+02:00" href="http://en.wikipedia.org/wiki/Computation_theory" rel="nofollow" class="description-link">http://en.wikipedia.org/wiki/Computation_theory</a>http://en.wikipedia.org/wiki/Millennium_Prize_Problemspauljrichardson2015-04-05T03:32:08+02:00Bookmarks_bar MISC Philosophy Computability <a itemprop="url" data-versiondate="2015-04-05T03:32:08+02:00" href="http://en.wikipedia.org/wiki/Millennium_Prize_Problems" rel="nofollow" class="description-link">http://en.wikipedia.org/wiki/Millennium_Prize_Problems</a>https://en.wikipedia.org/wiki/Halting_problempauljrichardson2015-04-05T03:32:08+02:00Bookmarks_bar MISC Philosophy Computability <a itemprop="url" data-versiondate="2015-04-05T03:32:08+02:00" href="https://en.wikipedia.org/wiki/Halting_problem" rel="nofollow" class="description-link">https://en.wikipedia.org/wiki/Halting_problem</a>https://en.wikipedia.org/wiki/Computational_complexity_of_mathematical_operationspauljrichardson2015-04-05T03:32:08+02:00Bookmarks_bar MISC Philosophy Computability <a itemprop="url" data-versiondate="2015-04-05T03:32:08+02:00" href="https://en.wikipedia.org/wiki/Computational_complexity_of_mathematical_operations" rel="nofollow" class="description-link">https://en.wikipedia.org/wiki/Computational_complexity_of_mathematical_operations</a>You know, the fact that you can read your email on a cell phone as well as on your desktop computer or almost any other computer connected to the internet, in principle is possible thanks to mathematician Alonzo Church, who gave the proof (together with Alan Turing) that everything that is computable on the simple model of a Turing Machine, also is computable with any other 'computer model'.http://yovisto.blogspot.de/2012/08/its-computable-thanks-to-alonzo-church.htmllysander072012-08-11T17:19:00+02:002012 Entscheidungsproblem computability computerscience mathematics yovisto <span itemprop="description">You know, the fact that you can read your email on a cell phone as well as on your desktop computer or almost any other computer connected to the internet, in principle is possible thanks to mathematician Alonzo Church, who gave the proof (together with Alan Turing) that everything that is computable on the simple model of a Turing Machine, also is computable with any other &#039;computer model&#039;.</span>http://www.perlmonks.org/?node_id=663393brightbyte2009-08-21T17:58:04+02:00computability computing hackers o_O perl theory <a itemprop="url" data-versiondate="2009-08-21T17:58:04+02:00" href="http://www.perlmonks.org/?node_id=663393" rel="nofollow" class="description-link">http://www.perlmonks.org/?node_id=663393</a>A simple step-by-step debugger for the WHILE-language as described in the book "Computability and Complexity from a Programming Perspective" by Neil Joneshttp://theoinf.math.uni-siegen.de/while/debuggerfolke2008-09-21T20:42:54+02:00complexity computability while <span itemprop="description">A simple step-by-step debugger for the WHILE-language as described in the book &#034;Computability and Complexity from a Programming Perspective&#034; by Neil Jones</span>http://en.wikipedia.org/wiki/Investment_managementsemanticinvesting2007-10-13T19:01:22+02:00Cognitive-Architectures Cognitive-Hierarchies Complexity Computability Computability-Theory Decidability Deciding Decision-Models Decision-Procedures Decision-Theory Evolution-Theory ExtendAbility HyperComputability Intelligence-Order-Relations Intentionality Interactivity Investing-strategies-Space Investment-Decisions Investment-Management NeuroScience Optimality ParaConsistency Policies Populations-of-Strategies Portfolio-Management Portfolio-Selection Portfolios Selecting Self-Reflectivity Steering Survivability category-of-strategies investing-strategies <a itemprop="url" data-versiondate="2007-10-13T19:01:22+02:00" href="http://en.wikipedia.org/wiki/Investment_management" rel="nofollow" class="description-link">http://en.wikipedia.org/wiki/Investment_management</a>