**provably** — adverb see prove … New Collegiate Dictionary

**provably** — See provability. * * * … Universalium

**provably** — adverb With proof; in a provable manner. Syn: demonstrably … Wiktionary

**provably** — prov·ably … English syllables

**provably** — adverb in an obvious and provable manner his documentary sources are demonstrably wrong • Syn: ↑demonstrably, ↑incontrovertibly • Derived from adjective: ↑incontrovertible (for: ↑incontrovertibly), ↑ … Useful english dictionary

**Heyting algebra** — In mathematics, Heyting algebras are special partially ordered sets that constitute a generalization of Boolean algebras, named after Arend Heyting. Heyting algebras arise as models of intuitionistic logic, a logic in which the law of excluded… … Wikipedia

**Church's thesis (constructive mathematics)** — In constructive mathematics, Church s thesis is the mathematical assertion that all total functions are recursive. It gets its name after the informal Church–Turing thesis, which states that every algorithm is in fact a recursive function, but… … Wikipedia

**Gödel's incompleteness theorems** — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia

**Recursion theory** — Recursion theory, also called computability theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown to include the study of generalized computability… … Wikipedia

**Neats vs. scruffies** — Artificial intelligence portal Neat and scruffy are labels for two different types of artificial intelligence research. Neats consider that solutions should be elegant, clear and provably correct. Scruffies believe that intelligence is too… … Wikipedia