释义 |
unprovable /ʌnˈpruːvəb(ə)l /adjectiveUnable to be demonstrated by evidence or argument as true or existing: the hypothesis is not merely unprovable, but false...- Promoting faith in unprovable ideas over empirical evidence and hard science is the path back to the Dark Ages.
- On October 7, 1931, when he was 24 years old, he announced his result, a proof that showed that any formal system that is rich enough to express arithmetic will have a proposition which is true and unprovable.
- Commentators with a taste for proving the unprovable have brought forward evidence that virtually every poet of Shakespeare's time - and even of other times, such as Dante and Tasso - aroused Shakespeare's envy.
Derivativesunprovability /ʌnpruːvəˈbɪlɪti/ noun ...- 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.
- This would be an example of how ‘in general undecidability and unprovability will start to occur in practically any area of mathematics almost as soon as one goes beyond the level of questions that are easy to answer’.
- By late November, von Neumann obtained an unprovability result of his own, only to find out that he was anticipated by Gödel by a few days.
|