The New Encyclopaedia Britannica: Macropaedia (19 v.)Encyclopaedia Britannica, 1983 - Encyclopedias and dictionaries |
From inside the book
Results 1-3 of 77
Page 74
... complete axiomatization ; i.e. , their truths cannot all be derived from any finite - or recursive ( see below ) -set of axioms . This fact was shown by the important " incom- pleteness " theorems proved in 1931 by Kurt Gödel , an ...
... complete axiomatization ; i.e. , their truths cannot all be derived from any finite - or recursive ( see below ) -set of axioms . This fact was shown by the important " incom- pleteness " theorems proved in 1931 by Kurt Gödel , an ...
Page 240
... complete circle ) . Those with open curves can oscillate only through angles less than 360 degrees and are usually employed to gener- ate mathematical functions in analogue computers ; those with closed curves can make complete ...
... complete circle ) . Those with open curves can oscillate only through angles less than 360 degrees and are usually employed to gener- ate mathematical functions in analogue computers ; those with closed curves can make complete ...
Page 1081
... complete , then either the sentence p or its negation is a theorem of the system . If p is a theorem , then intuitively p or ( 2 ) is false , and there is in some sense a false theorem in the system . Similarly , if ~ p is a theorem ...
... complete , then either the sentence p or its negation is a theorem of the system . If p is a theorem , then intuitively p or ( 2 ) is false , and there is in some sense a false theorem in the system . Similarly , if ~ p is a theorem ...
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