Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License.

  • noun The condition of being unprovable

Etymologies

from Wiktionary, Creative Commons Attribution/Share-Alike License

un- +‎ provability or unprovable +‎ -ity

Support

Help support Wordnik (and make this page ad-free) by adopting the word unprovability.

Examples

  • We need to look at this so-called unprovability a little more closely to gain a better understanding of it and its context.

    Welcome to Islam-Watch 2009

  • He hinted that he had made great progress in the theory of provability and unprovability by exploring the connections between logic and topology.

    Nobody Knows Nothing 2009

  • He did, however, conjecture in correspondence with Gödel the unprovability of the consistency of arithmetic and therefore of mathematics as a whole, in some absolute sense.

    Chores 2009

  • The unprovability construct is represented explicitly in the language, by means of a modal operator

    Logic and Artificial Intelligence Thomason, Richmond 2008

  • The TMS also provided specific intuitions: the idea that the key to nonmonotonicity has to do with inferences based on unprovability was important for the modal approaches to nonmonotonic logic and for default logic.

    Logic and Artificial Intelligence Thomason, Richmond 2008

  • The Second Incompleteness Theorem establishes the unprovability, in number theory, of the consistency of number theory.

    Kurt Gödel Kennedy, Juliette 2007

  • Several commentators on the surprise test paradox object that interpreting surprise as unprovability changes the topic.

    Epistemic Paradoxes Sorensen, Roy 2006

  • Because on the science-test-ology, let's push the boundaries of known unprovability side, you have people that will sometimes build new stuff without much thought for the art-and-social welfare.

    The essential paradigm of cyberspace 2006

  • Gödel's first incompleteness theorem states that, for a sufficiently strong formal theory like Peano Arithmetic, any sentence asserting its own unprovability is in fact unprovable.

    Provability Logic L.C. 2003

  • The significance of this is that all questions of provability (or unprovability) of mathematical statements can be in principle reduced to formal questions of formal derivability from the generally accepted axioms of Set Theory.

    Set Theory Jech, Thomas 2002

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.