The New Encyclopaedia Britannica: Macropaedia (19 v.)Encyclopaedia Britannica, 1983 - Encyclopedias and dictionaries |
From inside the book
Results 1-3 of 79
Page 54
... natural numbers can be adequately defined in set - theoretic terms . Moreover , given suitable axioms , standard postulates for natural - number arith- metic can be derived as theorems within set theory . LOGICAL FOUNDATIONS OF ...
... natural numbers can be adequately defined in set - theoretic terms . Moreover , given suitable axioms , standard postulates for natural - number arith- metic can be derived as theorems within set theory . LOGICAL FOUNDATIONS OF ...
Page 429
... natural selection , the origins of the concept are deeply rooted in European thought and may be traced to the early 17th century . Indeed , the practices of artificial selection of domesticated plants and animals , which so influenced ...
... natural selection , the origins of the concept are deeply rooted in European thought and may be traced to the early 17th century . Indeed , the practices of artificial selection of domesticated plants and animals , which so influenced ...
Page 638
... natural number sequence to a certain segment of the transfinite ordinal numbers that Cantor had introduced for extending the counting pro- cess beyond that provided by the natural numbers . Gödel's ( first ) theorem provided ...
... natural number sequence to a certain segment of the transfinite ordinal numbers that Cantor had introduced for extending the counting pro- cess beyond that provided by the natural numbers . Gödel's ( first ) theorem provided ...
Other editions - View all
Common terms and phrases
19th century army atoms axiomatic axioms bearings became BIBLIOGRAPHY body centre century church dipoles Dutch economic electric electrons energy example ferromagnetic Figure fluid flux density force France French friction function gears German helium-3 Holland important industry King known land later Lo-yang load lock locomotion loess logic logicians logistic London Louis Low Countries lubricant luminescence Luther Lutheran Luxembourg lymph lymph nodes lymphatic Macau machines Mackenzie River Madagascar Madhya Pradesh magic magnesium magnetic field magnetic moment material mechanical ment metal metres miles modal modal logic motion move movement Netherlands nodes nuclear operations particles percent political population predicate produced propositions provinces River rotation rule screw shaft speed square stadholder surface syllogisms temperature theorem theory tion tool torque towns types United valid variables velocity wff's