Mots en English pour '(computing theory, mathematics) Not computable.'
Vous trouverez ci-dessus des mots liés à "(computing theory, mathematics) Not computable.". Placez le pointeur ou le focus sur un mot pour voir sa définition, puis ajustez la recherche si nécessaire.
Résultats de recherche
noun
name
adj
- (mathematics, computing theory) Incapable of being algorithmically decided in finite time. For example, a set of strings is undecidable if it is impossible to program a computer (even one with infinite memory) to determine whether or not specified strings are included.
- (mathematics) (of a WFF) logically independent from the axioms of a given theory; i.e., that it can never be either proved or disproved (i.e., have its negation proved) on the basis of the axioms of the given theory. (Note: this latter definition is independent of any time bounds or computability issues, i.e., more Platonic.)
- not capable of being decided as following or not following from the axioms of a logical system
noun
- (computing) One of several alternative computational paradigms for a given theory.
- (literature) An approach to interpretation and/or evaluation focused on the (usually linguistic) structure of a literary work rather than on the contexts of its origin or reception.
- (philosophy of mathematics) The ontological view of mathematics as a mere collection of string manipulation rules.
- (music) The tendency to elevate formal above expressive value in music, as in serialism.
- (mathematics, physics) A particular mathematical or scientific theory or description of a given state or effect.
- Strict adherence to a given form of conduct, practice etc.
- (linguistics, computing, mathematics) A formal expression of a grammar; a formal grammar; a set of rules of syntax that, without reference to semantics, determine whether a sequence of symbols is a well-formed sentence in a given formal language.
- the practice of scrupulous adherence to prescribed or external forms
- (philosophy) the philosophical theory that formal (logical or mathematical) statements have no meaning but that its symbols (regarded as physical entities) exhibit a form that has useful applications
- the doctrine that formal structure rather than content is what should be represented
adj
- (mathematics, computing) In canonical form.
- (music) In the form of a canon.
- Prototypical.
- (religion) In conformity with canon law.
- According to recognised or orthodox rules.
- Present in a canon, religious or otherwise.
- (fandom slang) Related to or part of the canon of a fictional universe.
- Stated or used in the most basic and straightforwardly applicable manner.
- (mathematics) Distinguished among entities of its kind, so that it can be picked out in a way that does not depend on any arbitrary choices.
- (religion) Of or pertaining to an ecclesiastical chapter.
- appearing in a biblical canon
- of or relating to or required by canon law
- reduced to the simplest and most significant form possible without loss of generality
- conforming to orthodox or recognized rules
noun
noun
adj
adj
- (computing theory, not comparable, of a function) which can be computed by a theoretical model of a computer, in a finite amount of time
- (mathematics, not comparable) of an expression, each term of which is determined by applying a formula to preceding terms
- drawing upon itself, referring back.
- (computing theory, not comparable, of a set) whose characteristic function is recursive (4)
- (computing, not comparable) of a program or function that calls itself
- of or relating to a recursion
adj
- (computing theory) Having semantics defined purely in terms of mathematical functions, without side-effects.
- Optimized for all-around physiological benefit.
- Useful; serving a purpose, fulfilling a function.
- (mathematics) Of or relating to a function or functions.
- Of or relating to one's role or office; official.
- Only for functional purposes, notably in architecture.
- In good working order.
- (physiology, psychology) Characterizing functioning in environment, being symptoms that do not presuppose alteration of organic structure.
- designed for or adapted to a function or use
- involving or affecting function rather than physiology
- (of e.g. a machine) performing or capable of performing
- relating to or based on function especially as opposed to structure
- designed for or capable of a particular function or use
- fit or ready for use or service
noun
- (mathematics) A function that takes a function as its argument; more precisely, a function whose argument varies in a space of (real or complex valued) functions and whose value belongs to a monodimensional space.
- (computing) An object encapsulating a function pointer (or equivalent).
- (mathematics, functional analysis) A scalar-valued linear function on a vector space.
noun
- Initialism of computational science and engineering.
- (UK, education, historical, countable) Initialism of Certificate of Secondary Education, a former examination in UK schools; a pass achieved in this examination.
- (uncountable) Initialism of child sexual exploitation.
- Initialism of computer science and engineering.
- Canadian agency that gathers communications intelligence and assist law enforcement and security agencies
name
adj
noun
noun
- (mathematics, computer science) A conjecture, especially one too vague to be formally stated or verified but useful as a working convention.
- (music, prosody, originally) The action of lowering the hand or bringing down the foot when indicating a rhythm; hence, an accented part of a measure of music or verse indicated by this action; an ictus, a stress.
- (by extension) A lengthy essay written to establish the validity of a thesis (sense 1.1), especially one submitted in order to complete the requirements for a non-doctoral degree in the US and a doctoral degree in the UK; a dissertation.
- (logic) An affirmation, or distinction from a supposition or hypothesis.
- (rhetoric) A proposition or statement supported by arguments.
- (music, prosody, with a reversal of meaning) A depression of the voice when pronouncing a syllables of a word; hence, the unstressed part of the metrical foot of a verse upon which such a depression falls, or an unaccented musical note.
- (philosophy) In the dialectical method of Georg Wilhelm Friedrich Hegel: the initial stage of reasoning where a formal statement of a point is developed; this is followed by antithesis and synthesis.
- a treatise advancing a new point of view resulting from research; usually a requirement for an advanced academic degree
- an unproved statement put forward as a premise in an argument
noun
- (computing theory) Abbreviation of nondeterministic polynomial, the complexity class of computational problems that a nondeterministic Turing machine can solve in polynomial time.
- Initialism of notary public.
- (nanotechnology) Initialism of nanoparticle.
- Initialism of national park.
- Initialism of nurse practitioner.
- (linguistics) Initialism of noun phrase.
- (medicine, pathology) Abbreviation of nosocomial pneumonia.
- a registered nurse who has received special training and can perform many of the duties of a physician
name
phrase
name
- (sciences) Initialism of Mathematical and Computational Sciences Division.
- (education) Initialism of Metropolitan State University of Denver, (also known as "Metropolitan State College of Denver", a public university in Denver, Colorado).
- (education) Initialism of Muscogee County School District, (the county government agency which operates the public schools of Muscogee County, Georgia).
- (Microsoft, software) Initialism of Microsoft Certified Solution Developer.
- (education) Initialism of Merced City School District, (a California school district headquartered in Merced).
noun
adj
noun
- (countable, grammar) A verb in the imperative mood.
- (uncountable, grammar) The grammatical mood expressing an order (see jussive). In English, the imperative form of a verb is the same as that of the bare infinitive.
- (countable) An essential action, a must: something which is imperative.
- a mood that expresses an intention to influence the listener's behavior
- a verb in the imperative mood.
- some duty that is essential and urgent
adj
- (mathematics) Incommensurable because of different kinds.
- (physics, chemistry) Having more than one phase (solid, liquid, gas) present in a system or process.
- Diverse in kind or nature; composed of diverse parts.
- (chemistry) Visibly consisting of different components.
- (computing) Of a network comprising different types of computers, potentially with vastly differing memory sizes, processing power and even basic underlying architecture; alternatively, of a data resource with multiple types of formats.
- originating outside the body
- consisting of elements that are not of the same kind or nature
noun
- (computing theory) A theoretical entity capable of answering some collection of questions.
- A wise sentence or decision of great authority.
- A person such as a priest through whom the deity is supposed to respond with prophecy or advice.
- A shrine dedicated to some prophetic deity.
- One who communicates a divine command; an angel; a prophet.
- A person considered to be a source of wisdom.
- A fortune-teller.
- (Jewish antiquity) The sanctuary, or most holy place in the temple; also, the temple itself.
- A prophetic response, often enigmatic or allegorical, so given.
- (cryptocurrencies) A third-party service that provides smart contracts with information from the outside world.
- a prophecy (usually obscure or allegorical) revealed by a priest or priestess; believed to be infallible
- an authoritative person who divines the future
- a shrine where an oracular god is consulted
adj
- (mathematics) Having no fixed quantitative value.
- Able to vary or be varied.
- (biology) Tending to deviate from a normal or recognized type.
- Likely to vary.
- Marked by diversity or difference.
- marked by diversity or difference
- liable to or capable of change
- (used of a device) designed so that a property (as e.g. light) can be varied
noun
- Something that is variable.
- Something whose value may be dictated or discovered.
- (mathematics) A quantity that may assume any one of a set of values.
- (nautical) A shifting wind, or one that varies in force.
- (mathematics) A symbol representing a variable.
- (astronomy) A variable star.
- (programming) A named memory location in which a program can store intermediate results and from which it can read them.
- (nautical, in the plural) Those parts of the sea where a steady wind is not expected, especially the parts between the trade-wind belts.
- something that is likely to vary; something that is subject to variation
- a symbol (like x or y) that is used in mathematical or logical expressions to represent a variable quantity
- a star that varies noticeably in brightness
- a quantity that can assume any of a set of values
noun
name
noun
- (computing) One of several alternative computational paradigms for a given theory.
- (literature) An approach to interpretation and/or evaluation focused on the (usually linguistic) structure of a literary work rather than on the contexts of its origin or reception.
- (philosophy of mathematics) The ontological view of mathematics as a mere collection of string manipulation rules.
- (music) The tendency to elevate formal above expressive value in music, as in serialism.
- (mathematics, physics) A particular mathematical or scientific theory or description of a given state or effect.
- Strict adherence to a given form of conduct, practice etc.
- (linguistics, computing, mathematics) A formal expression of a grammar; a formal grammar; a set of rules of syntax that, without reference to semantics, determine whether a sequence of symbols is a well-formed sentence in a given formal language.
- the practice of scrupulous adherence to prescribed or external forms
- (philosophy) the philosophical theory that formal (logical or mathematical) statements have no meaning but that its symbols (regarded as physical entities) exhibit a form that has useful applications
- the doctrine that formal structure rather than content is what should be represented
noun
adj
noun
- Initialism of computational science and engineering.
- (UK, education, historical, countable) Initialism of Certificate of Secondary Education, a former examination in UK schools; a pass achieved in this examination.
- (uncountable) Initialism of child sexual exploitation.
- Initialism of computer science and engineering.
- Canadian agency that gathers communications intelligence and assist law enforcement and security agencies
name
noun
- (mathematics, computer science) A conjecture, especially one too vague to be formally stated or verified but useful as a working convention.
- (music, prosody, originally) The action of lowering the hand or bringing down the foot when indicating a rhythm; hence, an accented part of a measure of music or verse indicated by this action; an ictus, a stress.
- (by extension) A lengthy essay written to establish the validity of a thesis (sense 1.1), especially one submitted in order to complete the requirements for a non-doctoral degree in the US and a doctoral degree in the UK; a dissertation.
- (logic) An affirmation, or distinction from a supposition or hypothesis.
- (rhetoric) A proposition or statement supported by arguments.
- (music, prosody, with a reversal of meaning) A depression of the voice when pronouncing a syllables of a word; hence, the unstressed part of the metrical foot of a verse upon which such a depression falls, or an unaccented musical note.
- (philosophy) In the dialectical method of Georg Wilhelm Friedrich Hegel: the initial stage of reasoning where a formal statement of a point is developed; this is followed by antithesis and synthesis.
- a treatise advancing a new point of view resulting from research; usually a requirement for an advanced academic degree
- an unproved statement put forward as a premise in an argument
noun
- (computing theory) Abbreviation of nondeterministic polynomial, the complexity class of computational problems that a nondeterministic Turing machine can solve in polynomial time.
- Initialism of notary public.
- (nanotechnology) Initialism of nanoparticle.
- Initialism of national park.
- Initialism of nurse practitioner.
- (linguistics) Initialism of noun phrase.
- (medicine, pathology) Abbreviation of nosocomial pneumonia.
- a registered nurse who has received special training and can perform many of the duties of a physician
name
phrase
noun
- (computing theory) A theoretical entity capable of answering some collection of questions.
- A wise sentence or decision of great authority.
- A person such as a priest through whom the deity is supposed to respond with prophecy or advice.
- A shrine dedicated to some prophetic deity.
- One who communicates a divine command; an angel; a prophet.
- A person considered to be a source of wisdom.
- A fortune-teller.
- (Jewish antiquity) The sanctuary, or most holy place in the temple; also, the temple itself.
- A prophetic response, often enigmatic or allegorical, so given.
- (cryptocurrencies) A third-party service that provides smart contracts with information from the outside world.
- a prophecy (usually obscure or allegorical) revealed by a priest or priestess; believed to be infallible
- an authoritative person who divines the future
- a shrine where an oracular god is consulted
Aucun mot correspondant trouvé. Essayez une description plus large.
adj
- (mathematics, computing theory) Incapable of being algorithmically decided in finite time. For example, a set of strings is undecidable if it is impossible to program a computer (even one with infinite memory) to determine whether or not specified strings are included.
- (mathematics) (of a WFF) logically independent from the axioms of a given theory; i.e., that it can never be either proved or disproved (i.e., have its negation proved) on the basis of the axioms of the given theory. (Note: this latter definition is independent of any time bounds or computability issues, i.e., more Platonic.)
- not capable of being decided as following or not following from the axioms of a logical system
adj
- (mathematics, computing) In canonical form.
- (music) In the form of a canon.
- Prototypical.
- (religion) In conformity with canon law.
- According to recognised or orthodox rules.
- Present in a canon, religious or otherwise.
- (fandom slang) Related to or part of the canon of a fictional universe.
- Stated or used in the most basic and straightforwardly applicable manner.
- (mathematics) Distinguished among entities of its kind, so that it can be picked out in a way that does not depend on any arbitrary choices.
- (religion) Of or pertaining to an ecclesiastical chapter.
- appearing in a biblical canon
- of or relating to or required by canon law
- reduced to the simplest and most significant form possible without loss of generality
- conforming to orthodox or recognized rules
noun
adj
- (computing theory, not comparable, of a function) which can be computed by a theoretical model of a computer, in a finite amount of time
- (mathematics, not comparable) of an expression, each term of which is determined by applying a formula to preceding terms
- drawing upon itself, referring back.
- (computing theory, not comparable, of a set) whose characteristic function is recursive (4)
- (computing, not comparable) of a program or function that calls itself
- of or relating to a recursion
adj
- (computing theory) Having semantics defined purely in terms of mathematical functions, without side-effects.
- Optimized for all-around physiological benefit.
- Useful; serving a purpose, fulfilling a function.
- (mathematics) Of or relating to a function or functions.
- Of or relating to one's role or office; official.
- Only for functional purposes, notably in architecture.
- In good working order.
- (physiology, psychology) Characterizing functioning in environment, being symptoms that do not presuppose alteration of organic structure.
- designed for or adapted to a function or use
- involving or affecting function rather than physiology
- (of e.g. a machine) performing or capable of performing
- relating to or based on function especially as opposed to structure
- designed for or capable of a particular function or use
- fit or ready for use or service
noun
- (mathematics) A function that takes a function as its argument; more precisely, a function whose argument varies in a space of (real or complex valued) functions and whose value belongs to a monodimensional space.
- (computing) An object encapsulating a function pointer (or equivalent).
- (mathematics, functional analysis) A scalar-valued linear function on a vector space.
adj
noun
adj
noun
- (countable, grammar) A verb in the imperative mood.
- (uncountable, grammar) The grammatical mood expressing an order (see jussive). In English, the imperative form of a verb is the same as that of the bare infinitive.
- (countable) An essential action, a must: something which is imperative.
- a mood that expresses an intention to influence the listener's behavior
- a verb in the imperative mood.
- some duty that is essential and urgent
adj
- (mathematics) Incommensurable because of different kinds.
- (physics, chemistry) Having more than one phase (solid, liquid, gas) present in a system or process.
- Diverse in kind or nature; composed of diverse parts.
- (chemistry) Visibly consisting of different components.
- (computing) Of a network comprising different types of computers, potentially with vastly differing memory sizes, processing power and even basic underlying architecture; alternatively, of a data resource with multiple types of formats.
- originating outside the body
- consisting of elements that are not of the same kind or nature
adj
- (mathematics) Having no fixed quantitative value.
- Able to vary or be varied.
- (biology) Tending to deviate from a normal or recognized type.
- Likely to vary.
- Marked by diversity or difference.
- marked by diversity or difference
- liable to or capable of change
- (used of a device) designed so that a property (as e.g. light) can be varied
noun
- Something that is variable.
- Something whose value may be dictated or discovered.
- (mathematics) A quantity that may assume any one of a set of values.
- (nautical) A shifting wind, or one that varies in force.
- (mathematics) A symbol representing a variable.
- (astronomy) A variable star.
- (programming) A named memory location in which a program can store intermediate results and from which it can read them.
- (nautical, in the plural) Those parts of the sea where a steady wind is not expected, especially the parts between the trade-wind belts.
- something that is likely to vary; something that is subject to variation
- a symbol (like x or y) that is used in mathematical or logical expressions to represent a variable quantity
- a star that varies noticeably in brightness
- a quantity that can assume any of a set of values