A View Of Revival Of Mathematical Logic In Warsaw, 1945-1975

LVOV-WARSAW SCHOOL. PAST AND PRESENT(2018)

引用 0|浏览0
暂无评分
摘要
This is a (biased) account of the revival of Foundations of Mathematical Logic, and more generally Foundations of Mathematics after WWII. The perspective is limited to years 1945-1975. This coincided with the activities of Professor Andrzej Mostowski, the principal leader of the foundational research in Poland during the reported time. Moreover, in this text, we focus on the development of Foundations in Warsaw, which misses an important aspect of the foundational research in Poland of the time, specifically in Wroclaw. Even the description of the Warsaw efforts is incomplete, not covering Foundations of Geometry. We focus on activities of three main researchers: Andrzej Mostowski, Helena Rasiowa and Andrzej Grzegorczyk.
更多
查看译文
关键词
Logic in Warsaw, Andrzej Mostowski, Helena Rasiowa, Andrzej Grzegorczyk
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要