Roman Murawski Books

Focusing on the intersection of philosophy and mathematics, this book delves into the contributions of Polish logicians and mathematicians during the 1920s and 1930s, a pivotal era for Polish science. It explores whether advancements in logic and mathematics were paralleled by philosophical inquiry, analyzing the works and ideas of notable figures such as Waclaw Sierpinski and Alfred Tarski. Additionally, it provides context by examining the influence of earlier thinkers like Jan Sniadecki and Józef Maria Hoene-Wronski, enriching the understanding of this intellectual landscape.

Exploring critical issues in the philosophy of logic and mathematics, this volume addresses topics such as reverse mathematics, the nature of proof, and the significance of Church's Thesis. It delves into the relationship between mathematics and theology, the concept of truth, and examines the philosophical landscape of logic and mathematics during interwar Poland. The diverse range of problems presented offers a comprehensive look at the intricate connections between these fields.

Autor podaje przystępny wykład zagadnień związanych z twierdzeniem Gődla o niezupełności oraz z problemem rozstrzygalności i nierozstrzygalności teorii. Podręcznik napisany niezwykle interesująco, przeznaczony dla czytelnika posiadającego podstawowe wiadomości z zakresu kursu logiki.

Dieses Werk gibt eine überwiegend elementare Einführung in philosophische Probleme und Hintergründe des mathematischen Denkens und Sprechens, Lehrens und Lernens. Sie wendet sich an Lehrende und Studierende der Mathematik und der Philosophie. Ausgangspunkt und immer wieder Bezugspunkt sind die reellen Zahlen. In pointierter Weise werden mathematische und philosophische Probleme und Fragen vermerkt, die sich auf dem Weg zu ihnen stellen. Ein umfangreicher Abriss von Auffassungen aus der Geschichte der Mathematik und der Philosophie bis hin zu aktuellen Strömungen bildet den Hintergrund für ihre eingehende Diskussion. Kapitel über Mengenlehre, Logik und Axiomatik, über ungelöste und unlösbare Probleme und fundamentale Ergebnisse schließen den Text ab.