(redirected from computability)
Also found in: Dictionary, Thesaurus, Encyclopedia, Wikipedia.

(something) does not compute

cliché One cannot comprehend something; something does not make sense. An imitative reference to robots, computers, and artificial intelligences in pop culture and science fiction. It's clear that the concept of prioritizing people's welfare over the economy just does not compute for this government. I've been trying to wrap my head around these instructions, but they just do not compute!
See also: compute, does, not

compute (something) at (some amount)

To determine the total to be a particular amount. Unfortunately, I computed the amount you owe at more than $1,000.
See also: compute
Farlex Dictionary of Idioms. © 2015 Farlex, Inc, all rights reserved.

compute something at something

to calculate the total of something to be a certain figure. I compute the total at nearly three thousand dollars. The tax department computed the penalty at an enormous amount.
See also: compute
McGraw-Hill Dictionary of American Idioms and Phrasal Verbs. © 2002 by The McGraw-Hill Companies, Inc.
See also:
References in periodicals archive ?
The computability of the derivative processes is extended trivially to the terms defined in its syntactic restrictions of A[pi], i.e POA[[pi].sub.ri] and PA[pi].
(70.) For more on computability, see the seminal work: Alan M.
In computability theory, the halting problem is to decide whether the program finishes running or will run forever, given a description of a program and a finite input.
In particular, I-POMDPs provide a fertile ground for investigating the interaction between computability and intentionality, and its possibly negative implications on asymptotic agent behaviors (for example, see again Doshi and Gmytrasiewicz [2006] and references therein), in the backdrop of global optimality as prescribed by Dec-POMDPs.
The computability of conformal mappings onto the canonical domains was discussed by Andreev and McNicholl [1].
Barry Cooper, Benedikt Lowe, and Andrea Sorbi, editors, Computation and Logic in the Real World, 3rd Conference on Computability in Europe (CiE07), volume 4497 of Lecture Notes in Computer Science, pages 152-161, Siena, Italy, June 2007.
(1) Barkley Rosser examines the rising competition between computational and dynamic conceptualizations of complexity in economics: computable economics views the complexity as something rigorously defined based on concepts from probability, information, and computability criteria; dynamic complexity is based on whether a system endogenously and deterministically generates erratically dynamic behavior of certain kinds.
Computability in context; computation and logic in the real world.
Computability Theory and Ontological Emergence, JON COGBURN and MARK SILCOX
Teachers may wish to start with the BBC Four documentary (Malone & Tanner, 2008) which shows how Godel built upon the work of Hilbert and Russell and paved the way for Alan Turing's papers on computers and computability. This could be followed by giving students a good summary of a formal system, such as the Appendix.
Developing a mathematical theory of computability which speaks the language of levels.
Featuring chapters dedicated to the diagonal argument, ordinals, computability and proof, logic, arithmetic, natural unprovable sentences; and axioms, as well as being enhanced with the inclusion of a lengthy bibliography and a comprehensive index, "Roads to Infinity: The Mathematics of Truth and Proof" is highly recommended reading for students, scholars, and non-specialist general readers with an interest in the history and contemporary issues of mathematics today.
Computability and Evolutionary Complexity: Markets as Complex Adaptive Systems (CAS), The Economic Journal, 115: 159-192.
Basics of Computability theory and Complexity theory will be visited.
According to what has come to be called "Turing's thesis," (or sometimes the "Church-Turing" thesis) every number or function that is "effectively" computable at all (in an "intuitive" sense of effective computability) is computable by some Turing machine, and thus that the architecture of the Turing machine indeed captures, replaces, or formalizes the "intuitive" notion of computability.