Name: Undecidable Theories. Studies in Logic and the Foundation of Mathematics
Author: Andrzej S. Mostowski
ISBN: 9780486477039

Question 1

O czym jest Undecidable Theories. Studies in Logic and the Foundation of Mathematics?

Accepted Answer

This book is well known for its proof that many mathematical systems - including lattice theory and closure algebras - are undecidable. It consists of three treatises from one of the greatest logicians of all time: "A General Method in Proofs of Undecidability," "Undecidability and Essential Undecidability in Mathematics," and "Undecidability of the Elementary Theory of Groups."

Question 2

Kim jest Andrzej S. Mostowski?

Accepted Answer

Polsko-kanadyjski matematyk i logik, profesor Uniwersytetu Warszawskiego.
W 1931 roku ukończył gimnazjum im. Stefana Batorego w Warszawie i wstąpił na Uniwersytet Warszawski, gdzie studiował pod kierunkiem Tarskiego, Kuratowskiego i Lindenbauma. Doktoryzował się w 1938 roku na podstawie rozprawy O niezależności definicji skończoności w systemie logiki napisanej pod kierunkiem Kuratowskiego i Tarskiego. Po inwazji niemieckiej w 1939 r. na Polskę pracował jako księgowy. W latach 1942-1944 uczył na Tajnym Uniwersytecie Warszawskim. We wrześniu 1944 roku ożenił się z Marią Matuszewską. Po powstaniu warszawskim Niemcy chcieli wysłać go do obozu koncentracyjnego, ale dzięki pomocy pielęgniarek ukrył się w szpitalu. Habilitował się w 1945 roku na Uniwersytecie Jagiellońskim. Od roku 1946 aż do śmierci pracował na Uniwersytecie Warszawskim; od 1947 roku jako profesor nadzwyczajny na tej uczelni, a od 1951 roku jako profesor zwyczajny. W roku akademickim 1948-1949 pracował w Instytucie Badań Zaawansowanych w Princeton, w 1958-1959 wykładał na Uniwersytecie Kalifornijskim w Berkeley, a w 1969-1970 w All Souls College w Oksfordzie w Wielkiej Brytanii. Został odznaczony Krzyżem Kawalerskim Orderu Odrodzenia Polski (1954). W 1956 roku został członkiem korespondentem, a w 1963 roku członkiem rzeczywistym Polskiej Akademii Nauk; w 1973 roku został członkiem Fińskiej Akademii Nauk. W latach 1945-1975 (tj. od końca II wojny światowej do swej śmierci) Mostowski był naukowcem, wokół którego środkowały się badania podstaw matematyki w Polsce. Oprócz swoich uczniów, przede wszystkim na Uniwersytecie Warszawskim i w Instytucie Matematycznym Polskiej Akademii Nauk, Mostowski współpracował z wszystkimi polskimi grupami badaczy podstaw, tak matematyki, jak i innych dziedzin ścisłych (np. informatyki) czy filozofii. Książka Andrzej Mostowski and Foundational Studies zawiera szereg artykułów i wspomnień poświęconych Mostowskiemu.

Question 3

Do jakiego gatunku należy Undecidable Theories. Studies in Logic and the Foundation of Mathematics?

Accepted Answer

Undecidable Theories. Studies in Logic and the Foundation of Mathematics należy do gatunku informatyka, matematyka i ma 112 stron.

Question 4

Gdzie kupię książkę Undecidable Theories. Studies in Logic and the Foundation of Mathematics?

Accepted Answer

Sprawdź gdzie kupić najtaniej książkę Undecidable Theories. Studies in Logic and the Foundation of Mathematics

Question 5

Co napisał(-a) Andrzej S. Mostowski?

Accepted Answer

Zobacz ostatnio wydane książki autora:

Undecidable Theories. Studies in Logic and the Foundation of Mathematics

Porównaj ceny

Patronaty LC

Książki autora

Mogą Cię zainteresować

Oceny

OPINIE i DYSKUSJE

Cytaty

Bądź pierwszy

Podobne książki

Przeczytaj także