The World of Mathematics: A Small Library of the Literature of Mathematics from Aʻh-mosé the Scribe to Albert Einstein, Том 3Simon and Schuster, 1956 - Всего страниц: 2535 |
Результаты поиска по книге
Результаты 1 – 3 из 31
Стр. 1666
... consistency in spite of what we have said above . Further light can be shed on this matter by a consideration of well- known examples . It is not an uncommon practice , for instance , to obtain a model of an axiom system Σ in another ...
... consistency in spite of what we have said above . Further light can be shed on this matter by a consideration of well- known examples . It is not an uncommon practice , for instance , to obtain a model of an axiom system Σ in another ...
Стр. 1694
... consistency of arithmetic is not ex- cluded by this capital result of Goedel's analysis . In point of fact , meta- mathematical proofs of the consistency of arithmetic have been con- structed , notably by Gerhard Gentzen , a member ...
... consistency of arithmetic is not ex- cluded by this capital result of Goedel's analysis . In point of fact , meta- mathematical proofs of the consistency of arithmetic have been con- structed , notably by Gerhard Gentzen , a member ...
Стр. 1730
... consistency of , e.g. , geometry ( Euclidean as well as non - Euclidean ) to the consistency of arithmetic . In other words , it has been shown that an inconsistency in the set of axioms of the particular geometry would imply an ...
... consistency of , e.g. , geometry ( Euclidean as well as non - Euclidean ) to the consistency of arithmetic . In other words , it has been shown that an inconsistency in the set of axioms of the particular geometry would imply an ...
Содержание
Statistics and the Design | 1415 |
Foundations of Vital Statistics by JOHN GRAUNT | 1421 |
First Life Insurance Tables by EDMUND HALLEY | 1437 |
Авторские права | |
Не показаны другие разделы: 30
Другие издания - Просмотреть все
The World of Mathematics: A Small Library of the Literature of ..., Том 3 James Roy Newman Просмотр фрагмента - 1956 |
The World of Mathematics: A Small Library of the Literature of ..., Том 3 James Roy Newman Просмотр фрагмента - 1956 |
The World of Mathematics: A Small Library of the Literature of ..., Том 3 James Roy Newman Просмотр фрагмента - 1956 |
Часто встречающиеся слова и выражения
algebra arithmetic assertion assumptions average axiom of choice axiomatic axiomatic method Bertrand Russell calculation called cardinal number chance concept consider consistency construction contains counting curve deduction defined definition denumerably infinite derived elements equal equation Ernest Nagel errors Euclid euclidean geometry example experience experimental expression fact false Figure finite number formal formula given Goedel number googol googolplex HANS HAHN Hilbert idea implication infinity integer interpretation intuition Leibniz logic m-class mathe mathematical logic mathematical propositions mathematician matics meaning measure ment meta-mathematical method natural numbers non-Euclidean geometries notion objects observation obtained operation ordinary parallel axiom philosophy physical plane positive number possible postulates principle problem proof proved pure question real numbers reasoning relation represent result rule sample sense sentence sentential calculus sentential function space statement straight line symbols theorems theory things tion transformations triangle true truth variables velocity words