George Tourlakis - Lectures in Logic and Set Theory, Volume 2: Set Theory

"Lectures in Logic and Set Theory, Volume 2: Set Theory" - Zanurz się w głąb formalnej teorii mnogości

"Lectures in Logic and Set Theory, Volume 2: Set Theory" to niezwykła podróż do serca formalnej teorii mnogości, napisana przez wybitnego profesora George'a Tourlakisa. Ta obszerna praca stanowi idealne połączenie przejrzystego wprowadzenia do tematu z głębokim zanurzeniem w najbardziej zaawansowane zagadnienia. Książka jest przeznaczona zarówno dla studentów zaawansowanych, jak i początkujących doktorantów z zakresu matematyki, informatyki czy filozofii. Sposób prezentacji treści, przypominający żywe i angażujące wykłady, czyni ją przystępną zarówno dla samodzielnej nauki, jak i dla wykorzystywania na zajęciach. "Lectures in Logic and Set Theory, Volume 2: Set Theory" nie tylko stanowi wprowadzenie do teorii mnogości, ale umożliwia dogłębne zapoznanie się z zaawansowanymi koncepcjami, takimi jak: absolutność, wyniki spójności względnej, dwie ekspozycje konstruowalnego wszechświata Gödla, liczne sposoby postrzegania rekursji. Książka poświęca również cały rozdział Cohenowskiemu wymuszeniu - jednej z kluczowych technik współczesnej teorii mnogości. "Lectures in Logic and Set Theory, Volume 2: Set Theory" to kompendium wiedzy, które rozpoczyna od podstawowych technik dowodowych, w stylu Bourbakiego, a następnie rozwija tematykę w głębię, otwierając przed czytelnikiem fascynujące horyzonty formalnej teorii mnogości. George Tourlakis jest cenionym profesorem informatyki i logiki matematycznej, autorem wielu publikacji naukowych i podręczników akademickich, w tym tej znakomitej pracy, która stanowi niezbędne narzędzie dla każdego, kto chce zgłębić tajemnice formalnej teorii mnogości.