George Tourlakis - Lectures in Logic and Set Theory, Volume1: Mathematical Logic

"Lectures in Logic and Set Theory, Volume 1: Mathematical Logic": Podróż w głąb logicznej rzeczywistości

"Lectures in Logic and Set Theory, Volume 1: Mathematical Logic" to książka, która stanowi niezwykle cenne narzędzie dla każdego, kto pragnie zgłębić tajniki logiki matematycznej. Jest ona doskonałym mostem łączącym wprowadzające teksty dotyczące logiki i teorii mnogości z bardziej zaawansowaną literaturą naukową.
Książka oferuje przystępny i angażujący styl wykładu, który czyni ją idealnym materiałem do samodzielnej nauki, jak również do wykorzystania w kursach na poziomie magisterskim z matematyki, informatyki czy filozofii.
W pierwszym tomie autor, George Tourlakis, wprowadza czytelnika w świat formalnych metod dowodowych, prezentując zastosowania twierdzenia o zwartości, w tym analizę niestandardową. Dodatkowo, w książce znajdziemy obszerną dyskusję na temat obliczalności oraz jej związku ze zjawiskiem niezupełności. Najważniejszym elementem tomu jest przedstawienie pełnego dowodu drugiego twierdzenia Gödla o niezupełności, po raz pierwszy od czasów "Grundlagen" Hilberta i Bernaysa. "Lectures in Logic and Set Theory, Volume 1: Mathematical Logic" to nie tylko wyczerpujące kompendium wiedzy, ale także fascynująca podróż w głąb logicznej rzeczywistości, która z pewnością zachwyci każdego, kto podzieli się nią z autorem. George Tourlakis jest cenionym specjalistą w dziedzinie logiki matematycznej, znanym z jasnego i zrozumiałego sposobu prezentowania złożonych zagadnień.