Индекс УДК | 51 |
Infinitistic Methods Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959 International Mathematical Union ; Mathematical Institute of the Polis Academy of Sciences Text |
|
Место издания | New York ; Warszawa |
Издательство | Pergamon Press : Panstwowe Wydawnictwo Naukowe |
Дата издания оригинала | [1961] |
Объем | 362 p. |
Аннотация | This volume is concerned generally with infinistic methods in the foundations of mathematics. At the symposium were discussed works which use mathematical tools, commonly thought of as non-constructive ; for example - inaccessible cardinals, infinitistic rules of proof, higher classes of number-theoretic and function-theoretic hierarchies of predicates etc. |