Поиск

Symposium on Foundations of Mathematics

Заказ Местонахождение Подробная информация
Индекс УДК 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.