The New Encyclopædia BritannicaEncyclopædia Britannica, 1992 |
From inside the book
Results 1-3 of 58
Page 267
Recursive functions and decid- ability Gödel's exact theorem Undecid- ability of truth and theorem- hood Con- sistency and decid- ability of PC Löwen- heim- Skolem. In particular , he discovered that if such a system is w - consistent ...
Recursive functions and decid- ability Gödel's exact theorem Undecid- ability of truth and theorem- hood Con- sistency and decid- ability of PC Löwen- heim- Skolem. In particular , he discovered that if such a system is w - consistent ...
Page 269
... theorem . Gödel's original proof of the completeness theorem is closely related to the sec- ond proof above . Consideration may again be given to all of the sentences in ( 5 ) that contain no more quanti- fiers . If they are all ...
... theorem . Gödel's original proof of the completeness theorem is closely related to the sec- ond proof above . Consideration may again be given to all of the sentences in ( 5 ) that contain no more quanti- fiers . If they are all ...
Page 559
... theorem that ~ A , is unprovable but true shows that not even the first step can be carried out fully . Despite the value of the logistic method as a way of defining exactly the presuppositions of a given portion of mathematics , this ...
... theorem that ~ A , is unprovable but true shows that not even the first step can be carried out fully . Despite the value of the logistic method as a way of defining exactly the presuppositions of a given portion of mathematics , this ...
Other editions - View all
Common terms and phrases
20th century Aeschylus allegory ancient Aristotle audience axiomatic axioms ballads biography calculus called character children's literature classical comedy comic criticism culture D.H. Lawrence derived dialects drama electrons elements Émile Zola energy England English epic essay example fiction Figure formal France French function genre German grammar Greek hero human inference interpretation John John Locke known language Latin light Lincoln linguistics Lisbon literary logic logician London luminescence Luther meaning medieval mereology metalogic metre modal logic modern moral morpheme nanometres narrative nature novel novelists original philosophical phoneme photons plays poem poet poetry predicate premises propositions prose prosody relation Renaissance romance rules saga satire semantic sense sentence social story structure style syllogisms syllogistic symbols T.S. Eliot tagmeme theatre theme theorem theory tion tradition tragedy tragic true truth valid variables verse wave wff's words writing written