공리

노트

위키데이터

• ID : Q17736

말뭉치

1. Scratchpad II was renamed Axiom when IBM decided, circa 1990, to make it a commercial product.
2. The Axiom project has a major focus on providing documentation.
3. The Axiom project focuses on the “30 Year Horizon”.
4. The primary philosophy is that Axiom needs to develop several fundamental features in order to be useful to the next generation of computational mathematicians.
5. Axiom makes all your data available whenever you need it.
6. In modern times, mathematicians have often used the words postulate and axiom as synonyms.
7. An axiom, postulate or assumption is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments.
8. As used in mathematics, the term axiom is used in two related but distinguishable senses: "logical axioms" and "non-logical axioms".
9. When used in the latter sense, "axiom", "postulate", and "assumption" may be used interchangeably.
10. Any axiom is a statement that serves as a starting point from which other statements are logically derived.
11. But in fact the Axiom of Choice as it is usually stated appears humdrum, even self-evident.
12. In 1904 Ernst Zermelo formulated the Axiom of Choice (abbreviated as AC throughout this article) in terms of what he called coverings (Zermelo 1904).
13. Zermelo’s 1904 introduction of the axiom, as well as the use to which he put it, provoked considerable criticism from the mathematicians of the day.
14. Russell recognizes AC as the multiplicative axiom: the product of arbitrary nonzero cardinal numbers is nonzero.
15. Continued Nelson, “ Under Axiom’s brand umbrella, AMS and Knowable have built market leading businesses and solutions to address the second and third categories, respectively.
16. Axiom Pro is engineered for captains that want it all.
17. , Axiom Pro delivers a fluid and intuitive navigation experience.
18. Axiom Pro is easy to expand into an advanced navigation network that includes multiple Axiom displays, CHIRP radar, Evolution autopilot, FLIR thermal night vision technology, and more.
19. One can postulate that once semiterrestrial animals became more restrained in their use of water it was necessary for them to become more deliberate in their temperature regulation.
20. We shall not even take the trouble to demonstrate this, for it is an axiom in morals, as in physics.
21. That mission is expected to feature three customers along with one Axiom astronaut, Michael Lopez-Alegria, a former NASA astronaut.
22. Axiom has not disclosed who those customers are, although there has been widespread speculation that they will include the actor Tom Cruise.
23. Axiom announced Oct. 22 that it had completed a system requirements review for that initial module, allowing the company to proceed into its preliminary design phase.
24. Axiom Asia is a leading private equity investment firm focused exclusively on the Asia Pacific region.
25. Axiom offers investors access to top-tier mid-market private equity funds diversified across buyout, growth and venture capital.
26. When the full axiom of choice fails, it may still be valid for some restricted class of objects A A and/or B B .
27. In this form, the axiom of choice may look less mysterious than in its original formulation.
28. More generally still, if C C is a site, then the axiom of choice for C C may be taken to say that any cover U → X U\to X admits a section.
29. The following statements are all equivalent to the axiom of choice in Set Set (although sometimes the proof in one direction requires excluded middle).
30. Axiom Data Science works with organizations to improve the long term management, reuse and impact of their scientific data resources.
31. On first sight, the Axiom of Choice (AC) looks just as innocent as the others above.
32. There is a passionate debate among logicians, whether to accept the axiom of choice or not.
33. When the space station retires, the Axiom Space component will detach and take on a life of its own as an independent commercial outpost.
34. Axiom is focused on delivering higher production quality, higher yield and reduced production costs.
35. With the existing challenge, the Mathematical Society AXIOM provides a platform to discuss for resolving complex problems into a simpler form.
36. Axiom’s technology and services eliminate the labor intensive manual tasks so often required by smaller companies in managing a clinical study or study platform.
37. Designed as a massive luxury cruise ship, the Axiom kept everyone aboard fed and entertained as it cruised through space.
38. At the time when he arrives at the Axiom, it as well as the other Starliners have been in space for hundreds of years because the cleaning operation had failed.
39. When the ship has docked in the Axiom, WALL•E sees how the bots begin to unload the five EVE units that the ship has transported.
40. MVR-A takes EVE and GO-4 (and WALL•E who has grabbed a handle at the back of the transport bot) to the bridge of the Axiom.

메타데이터

위키데이터

• ID : Q17736

Spacy 패턴 목록

• [{'LEMMA': 'axiom'}]
• [{'LEMMA': 'postulate'}]