Das Hauptanliegen der mathematischen Logik - die Untersuchung des mathematischen Beweisbegriffs - wird im Rahmen der sog. Sprache erster Stufe behandelt. Um die Tragweite der Ergebnisse zu beleuchten, wird anhand eines mengentheoretischen Aufbaus der Mathematik dargelegt, das sich alle mathematischen Aussagen in der Sprache erster Stufe formulieren lassen. Der formale Charakter dieser Sprache ermoglicht es zugleich, die Frage nach der Widerspruchsfreiheit der Mathematik exakt zu diskutieren und Grenzen maschineller Methoden und des axiomatischen Vorgehens aufzuweisen. Das Buch schliest mit einer Einfuhrung in die allgemeine Theorie logischer Systeme, die es insbesondere gestattet, die ausgezeichnete Stellung der ersten Stufe abzuklaren.
Die Lekture erfordert keine mathematischen Spezialkenntnisse; sie setzt jedoch ein mathematisches Verstandnis voraus, wie man es etwa in den Anfangssemestern eines Mathematikstudiums erwirbt.
Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно.
При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно.
За пределы РФ книги не высылаю
Встречи по договоренности исключаются.