- Provably
- Provable Prov"a*ble, a. [See {Prove}, and cf. {Probable}.] Capable of being proved; demonstrable. -- {Prov"a*ble*ness}, n. -- {Prov"a*bly}, adv. [1913 Webster]
The Collaborative International Dictionary of English. 2000.
Provably
Look at other dictionaries:
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
