Author: A. Ehrenfeucht
Publisher: IOS Press
ISBN: 1607502720
Category : Mathematics
Languages : en
Pages : 460
Book Description
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 human. Professor Mostowski pioneered and mastered many areas of mathematical logic. His contributions spanned set theory, recursion theory, and model theory - the backbone of foundations of mathematics. He is best known of the Kleene-Mostowski and Davis-Mostowski hierarchies of properties of integers reflecting the complexity of their definitions, and of the very elegant concept of a generalized quantifier which inspired and keeps stimulating a stream of deep work on fundamental issues of logics, deduction and reasoning both in mathematics and in computer science, and also of the contributions and excellent lectures on undecidability, unprovability, consistency and independence of various statements in set theory and arithmetic following Gödel, Tarski and Cohen. The overall content of the volume is designed to cover the current main streams in the field. For many years after WWII, especially in the late sixties, 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.
Andrzej Mostowski and Foundational Studies
Author: A. Ehrenfeucht
Publisher: IOS Press
ISBN: 1607502720
Category : Mathematics
Languages : en
Pages : 460
Book Description
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 human. Professor Mostowski pioneered and mastered many areas of mathematical logic. His contributions spanned set theory, recursion theory, and model theory - the backbone of foundations of mathematics. He is best known of the Kleene-Mostowski and Davis-Mostowski hierarchies of properties of integers reflecting the complexity of their definitions, and of the very elegant concept of a generalized quantifier which inspired and keeps stimulating a stream of deep work on fundamental issues of logics, deduction and reasoning both in mathematics and in computer science, and also of the contributions and excellent lectures on undecidability, unprovability, consistency and independence of various statements in set theory and arithmetic following Gödel, Tarski and Cohen. The overall content of the volume is designed to cover the current main streams in the field. For many years after WWII, especially in the late sixties, 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.
Publisher: IOS Press
ISBN: 1607502720
Category : Mathematics
Languages : en
Pages : 460
Book Description
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 human. Professor Mostowski pioneered and mastered many areas of mathematical logic. His contributions spanned set theory, recursion theory, and model theory - the backbone of foundations of mathematics. He is best known of the Kleene-Mostowski and Davis-Mostowski hierarchies of properties of integers reflecting the complexity of their definitions, and of the very elegant concept of a generalized quantifier which inspired and keeps stimulating a stream of deep work on fundamental issues of logics, deduction and reasoning both in mathematics and in computer science, and also of the contributions and excellent lectures on undecidability, unprovability, consistency and independence of various statements in set theory and arithmetic following Gödel, Tarski and Cohen. The overall content of the volume is designed to cover the current main streams in the field. For many years after WWII, especially in the late sixties, 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.
Andrzej Mostowski and Foundational Studies
Author: Andrzej Mostowski
Publisher: IOS Press
ISBN: 158603782X
Category : Biography & Autobiography
Languages : en
Pages : 460
Book Description
Andrzej Mostowski was one of the leading 20th century logicians. This volume examines his legacy, devoted both to his scientific heritage and to the memory of him as a great researcher, teacher, organizer of science and person. It includes the bibliography of Mostowski's writings.
Publisher: IOS Press
ISBN: 158603782X
Category : Biography & Autobiography
Languages : en
Pages : 460
Book Description
Andrzej Mostowski was one of the leading 20th century logicians. This volume examines his legacy, devoted both to his scientific heritage and to the memory of him as a great researcher, teacher, organizer of science and person. It includes the bibliography of Mostowski's writings.
Andrzej Mostowski and Foundational Studies
Author: Andrzej Ehrenfeucht
Publisher:
ISBN: 9781614993056
Category :
Languages : en
Pages : 447
Book Description
Publisher:
ISBN: 9781614993056
Category :
Languages : en
Pages : 447
Book Description
Foundational Studies
Author: Andrzej Mostowski
Publisher: Elsevier
ISBN: 0444851038
Category : Logic, Symbolic and mathematical
Languages : en
Pages : 615
Book Description
Provability, Computability and Reflection.
Publisher: Elsevier
ISBN: 0444851038
Category : Logic, Symbolic and mathematical
Languages : en
Pages : 615
Book Description
Provability, Computability and Reflection.
Andrzej Mostowski and Foundational Studies
Author: Andrzej Ehrenfeucht
Publisher:
ISBN: 9781433712265
Category : Logic, Symbolic and mathematical
Languages : en
Pages : 447
Book Description
Andrzej Mostowski was one of the leading 20th century logicians. This volume examines his legacy, devoted both to his scientific heritage and to the memory of him as a great researcher, teacher, organizer of science and person. It includes the bibliography of Mostowski's writings.
Publisher:
ISBN: 9781433712265
Category : Logic, Symbolic and mathematical
Languages : en
Pages : 447
Book Description
Andrzej Mostowski was one of the leading 20th century logicians. This volume examines his legacy, devoted both to his scientific heritage and to the memory of him as a great researcher, teacher, organizer of science and person. It includes the bibliography of Mostowski's writings.
Provability, Computability and Reflection
Author: Lev D. Beklemishev
Publisher: Elsevier
ISBN: 0080955010
Category : Computers
Languages : en
Pages : 615
Book Description
Provability, Computability and Reflection
Publisher: Elsevier
ISBN: 0080955010
Category : Computers
Languages : en
Pages : 615
Book Description
Provability, Computability and Reflection
Thirty Years of Foundational Studies
Author: Andrzej Mostowski
Publisher:
ISBN:
Category : Logic, Symbolic and mathematical
Languages : en
Pages : 190
Book Description
Publisher:
ISBN:
Category : Logic, Symbolic and mathematical
Languages : en
Pages : 190
Book Description
Thirty years of foundational studies
Author: Andrzej Mostowski (Mathematiker, Polen)
Publisher:
ISBN:
Category :
Languages : fi
Pages : 180
Book Description
Publisher:
ISBN:
Category :
Languages : fi
Pages : 180
Book Description
Foundational Studies Selected Works
Author: Lev D. Beklemishev
Publisher: Elsevier
ISBN: 0080955002
Category : Computers
Languages : en
Pages : 684
Book Description
Foundational Studies Selected Works
Publisher: Elsevier
ISBN: 0080955002
Category : Computers
Languages : en
Pages : 684
Book Description
Foundational Studies Selected Works
Foundational studies. Vol. 2
Author: Andrzej Mostowski
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description