Raphael Mitchel Robinson

Raphael R. Robinson

Alfred Tarski

Andrzej Mostowski

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."

Undecidable Theories

Kazimierz Kuratowski

Provability, Computability and Reflection.

Selected Works

Foundational Studies

cześć Trzecia, Andrzej Mostowski i Marceli Stark

Algebra wyzsza

Andrzej Ehrenfeucht

V. Wiktor Marek

Marian Srebrny

" Andrzej Mostowski was one of the leading 20th century logicians. His legacy is examined in this volume of papers devoted both to his extraordinary scientific heritage and to the memory of him as a great researcher, teacher, organizer of science and person. Professor Mostowski pioneered and mastered many areas of mathematical logic. His contributions spanned set theory, recursion theory, and model theory -- the backbone of the foundations of mathematics. The complete detailed bibliography of Mostowski's writings is included. For many years after WWII and especially in the late sixties and till his untimely death in 1975, Warsaw, where he led the centre of foundational studies, was a place where many leading logicians visited, studied, and started their career. Their memories form an important part of this volume, attempting to bring back the extraordinary achievements and personality of Mostowski. Anyone wanting to see the roots of current applications of logic, be it in mathematics, computer science or philosophy, will find in this collection of articles plenty of helpful, stimulating and inspiring material both in science and about the social environment in which science is made. "

Andrzej Mostowski and Foundational Studies

Andrzej Mostowski

About

Books

Join the club