Set Theory, Logic and their Limitations 在线电子书 图书标签: 逻辑 set_theory logic 2014
发表于2024-12-23
Set Theory, Logic and their Limitations 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
This is an introduction to set theory and logic that starts completely from scratch. The text is accompanied by many methodological remarks and explanations. A rigorous axiomatic presentation of Zermelo-Fraenkel set theory is given, demonstrating how the basic concepts of mathematics have apparently been reduced to set theory. This is followed by a presentation of propositional and first-order logic. Concepts and results of recursion theory are explained in intuitive terms, and the author proves and explains the limitative results of Skolem, Tarski, Church and Godel (the celebrated incompleteness theorems). For students of mathematics or philosophy this book provides an excellent introduction to logic and set theory.
评分
评分
评分
评分
Set Theory, Logic and their Limitations 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024