computable
121Acceptable programming system — In the theory of computation in computer science, a programming system is a Gödel numbering of the set mathcal{T} of all Turing computable functions from mathbb{N} to mathbb{N}. The name derives from the numbering of mathcal{T} induced by a… …
122Social accounting matrix — A Social Accounting Matrix (SAM) represents flows of all economic transactions that take place within an economy (regional or national). It is at the core, a matrix representation of the National Accounts for a given country, but can be extended… …
123Reduction (recursion theory) — In computability theory, many reducibility relations (also called reductions, reducibilities, and notions of reducibility) are studied. They are motivated by the question: given sets A and B of natural numbers, is it possible to effectively… …
124Rice-Shapiro theorem — In computability theory, the Rice Shapiro theorem is a generalization of Rice s theorem, and is named after Henry Gordon Rice and Stewart Shapiro cite book | title=Theory of Recursive Functions and Effective Computability | author=Rogers Jr.,… …
125Real number — For the real numbers used in descriptive set theory, see Baire space (set theory). For the computing datatype, see Floating point number. A symbol of the set of real numbers …
126Thèse de Church — La thèse de Church du nom du mathématicien Alonzo Church est une hypothèse ( thèse ) concernant la définition de la notion de calculabilité. Dans une forme dite physique [1], elle affirme que la notion physique de la calculabilité, définie comme… …
127Cálculo lambda — Artículo parcialmente traducido: Contiene texto en inglés. Ayuda a terminarlo. El cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión. Fue introducido por… …
128Décimo problema de Hilbert — Saltar a navegación, búsqueda El décimo problema de Hilbert es uno de los veintitrés que David Hilbert propuso al término del siglo XIX. Su enunciado original es: Dada una ecuación diofántica con cualquier número de incógnitas y con coeficientes… …
