Thesaurus / axiom
FEEDBACKHow to use axiom in a sentence
With an ATP, a programmer can code in all the rules, or axioms, and then ask if a particular conjecture follows those rules.
HOW CLOSE ARE COMPUTERS TO AUTOMATING MATHEMATICAL REASONING?STEPHEN ORNESAUGUST 27, 2020QUANTA MAGAZINEGödel’s main maneuver was to map statements about a system of axioms onto statements within the system — that is, onto statements about numbers.
HOW GÖDEL’S PROOF WORKSNATALIE WOLCHOVERJULY 14, 2020QUANTA MAGAZINEBy the first theorem, this set of axioms would then necessarily be incomplete.
HOW GÖDEL’S PROOF WORKSNATALIE WOLCHOVERJULY 14, 2020QUANTA MAGAZINEIt would mean that there exists a sequence of formulas built from these axioms that proves the formula that means, metamathematically, “This set of axioms is consistent.”
HOW GÖDEL’S PROOF WORKSNATALIE WOLCHOVERJULY 14, 2020QUANTA MAGAZINEHe also showed that no candidate set of axioms can ever prove its own consistency.
HOW GÖDEL’S PROOF WORKSNATALIE WOLCHOVERJULY 14, 2020QUANTA MAGAZINEWe’ve learned that if a set of axioms is consistent, then it is incomplete.
HOW GÖDEL’S PROOF WORKSNATALIE WOLCHOVERJULY 14, 2020QUANTA MAGAZINEIt is a generally accepted axiom that a public man cannot afford to be modest in these go-ahead days of "boom."
THE DOCTOR OF PIMLICOWILLIAM LE QUEUXThis truth is as old as Homer, and its proofs are as capable of demonstration as a mathematical axiom.
THE BOOK OF ANECDOTES AND BUDGET OF FUN;VARIOUSBy this, OLeary understood that he was definitely adopted by virtue of the axiom of what was his was theirs.
THE WOMAN GIVESOWEN JOHNSONThat was an axiom on which was founded a vigorous war against all capillary adornments.
THE BRITISH EXPEDITION TO THE CRIMEAWILLIAM HOWARD RUSSELLWORDS RELATED TO AXIOM
- archetype
- average
- axiom
- barometer
- beau ideal
- belief
- benchmark
- canon
- code
- criterion
- ethics
- example
- exemplar
- fundamental
- gauge
- grade
- guide
- ideal
- ideals
- law
- mean
- measure
- median
- mirror
- model
- morals
- norm
- par
- paradigm
- pattern
- requirement
- rule
- rule of thumb
- sample
- specification
- test
- touchstone
- type
- yardstick
- accuracy
- actuality
- authenticity
- axiom
- case
- certainty
- correctness
- dope
- exactitude
- exactness
- fact
- facts
- factualism
- factuality
- factualness
- genuineness
- gospel
- gospel truth
- honest truth
- infallibility
- inside track
- legitimacy
- maxim
- naked truth
- nitty-gritty
- perfection
- picture
- plain talk
- precision
- principle
- rectitude
- rightness
- scoop
- score
- trueness
- truism
- truthfulness
- unvarnished truth
- veracity
- verisimilitude
- verity
- whole story
Roget's 21st Century Thesaurus, Third Edition Copyright © 2013 by the Philip Lief Group.