Andrzej Mostowski and foundational studies /

Mostrar otras versiones (1)

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.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Mostowski, Andrzej, Ehrenfeucht, Andrzej, Marek, V. W. (V. Wiktor), 1943-, Srebrny, Marian, 1947-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam ; Washington, D.C. : Ios Press, ©2008.
Temas:
Mostowski, Andrzej.
Logic, Symbolic and mathematical.
Mathematical analysis > Foundations.
Logicians > Poland > Biography.
Mathematicians > Poland > Biography.
Logique symbolique et mathématique.
Analyse mathématique > Fondements.
Logiciens > Pologne > Biographies.
Mathématiciens > Pologne > Biographies.
MATHEMATICS > Pre-Calculus.
MATHEMATICS > Reference.
MATHEMATICS > Essays.
Logicians.
Mathematicians.
Poland.
Biographies.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • On the life and work of Andrzej Mostowski (1913-1975) / Stanisław Krajewski and Marian Srebrny
  • Mathematical logic in Warsaw in the 60's and 70's, or The interaction of logic and life / Victor W. Marek
  • Mathematical logic in Warsaw: 1918-1939 / Jan Woleński
  • Three-valued logic of quadratic form theory over real rings / Max Dickmann and Alejandro Petrovich
  • Remarks on Gödel phenomena and the field of reals / Harvey M. Friedman
  • Undecidability and concatenation / Andrzej Grzegorczyk and Konrad Zdanowski
  • Witness quantifiers and 0-1 laws / Wojciech Guzicki and Michał Krynicki
  • Logic for artificial intelligence: a Rasiowa-Pawlak school perspective / Andrzej Jankowski and Andrzej Skowron
  • Contributions to the theory of weakly distributive complete Boolean algebras / Bohuslav Balcar and Thomas Jech
  • Quantifiers in limits / H. Jerome Keisler
  • Kleene-Mostowski hierarchy and the Davis-Mostowski hierarchy / Julia F. Knight
  • Model theoretic approach to proof theory of arithmetic / Henryk Kotlarski
  • Towards decidability of the theory of pseudo-finite dimensional representations of sl2(k);I / Sonia L'Innocente and Angus MacIntyre
  • Encounters with A. Mostowski / J.A. Makowsky
  • Observations on truth, consistency and lengths of proofs / Jan Mycielski
  • Algebraic interpretation of quantifiers: intuitionistic and classical / Dana S. Scott
  • Abstracting and generalizing pseudorecursiveness / Benjamin Wells
  • Andrzej Mostowski on the foundations and philosophy of mathematics / Roman Murawski and Jan Woleński
  • Bibliography of Andrzej Mostowski / Jan Zygmunt
  • Warsaw 1957: memories of Mostowski / J.W. Addison
  • Andrzej Mostowski: my master in mathematics / Andrzej Jacek Blikle
  • Our reminiscences of Andrzej Mostowski / Emilio del Solar and Max Dickmann
  • Andrzej Mostowski: an appreciation / Solomon Feferman
  • Andrzej Mostowski as teacher and editor / Einar H. Fredriksson
  • Mostowski and Czech-Polish cooperation in mathematical logic / P. Hájek, V.W. Marek and P. Vopěnka
  • Reminiscences of Warsaw and logic, 1964 / Peter G. Hinman
  • From mathematical logic, to natural language, artificial intelligence, and human thinking: a short essay in honour of Andrzej Mostowski / Robert Kowalski
  • Very personal recollection / Hidemitsu Sayeki
  • Prince of logic / Benjamin Wells
  • Remembrances of Professor Andrzej Mostowski / Kazimierz Wiśniewski.

Ejemplares similares