Mathematical Logic And Foundations

The Summer School and Conference on Mathematical Logic and its Applications, September 24 - October 4, 1986, Druzhba, Bulgaria, was honourably dedicated to the 80-th anniversary of Kurt Godel (1906 - 1978), one of the greatest scientists of this (and not only of this) century. The main topics of the Meeting were: Logic and the Foundation of Mathematics; Logic and Computer Science; Logic, Philosophy, and the Study of Language;

This book is a record of a seminar on mathematical logic Kurt Gödel and Hans Hahn held in Vienna in 1931-32. The seminar proceedings, given in English translation, are a unique witness of the state of research in logic and foundations of mathematics right after Gödel had published his celebrated incompleteness theorems. The seminars explain Gödel's results in logic in detail, in contrast to his publications of the time that often were quite laconic and extremely short. This book also contains Gödel's trial lecture on intuitionistic logic held in Vienna in 1933. The manuscript, recently found among the Gödel papers kept in Princeton, is preserved in Gödel's forgotten German shorthand and published here in an English translation.

This book is a record of a seminar on mathematical logic Kurt Gödel and Hans Hahn held in Vienna in 1931-32. The seminar proceedings, given in English translation, are a unique witness of the state of research in logic and foundations of mathematics right after Gödel had published his celebrated incompleteness theorems. The seminars explain Gödel's results in logic in detail, in contrast to his publications of the time that often were quite laconic and extremely short. This book also contains Gödel's trial lecture on intuitionistic logic held in Vienna in 1933. The manuscript, recently found among the Gödel papers kept in Princeton, is preserved in Gödel's forgotten German shorthand and published here in an English translation.

Computing systems are of growing importance because of their wide use in many areas including those in safety-critical systems. This book describes the basic models and approaches to the reliability analysis of such systems. An extensive review is provided and models are categorized into different types. Some Markov models are extended to the analysis of some specific computing systems such as combined software and hardware, imperfect debugging processes, failure correlation, multi-state systems, heterogeneous subsystems, etc. One of the aims of the presentation is that based on the sound analysis and simplicity of the approaches, the use of Markov models can be better implemented in the computing system reliability.

The core of Volume 3 consists of lecture notes for seven sets of lectures Hilbert gave (often in collaboration with Bernays) on the foundations of mathematics between 1917 and 1926. These texts make possible for the first time a detailed reconstruction of the rapid development of Hilbert’s foundational thought during this period, and show the increasing dominance of the metamathematical perspective in his logical work: the emergence of modern mathematical logic; the explicit raising of questions of completeness, consistency and decidability for logical systems; the investigation of the relative strengths of various logical calculi; the birth and evolution of proof theory, and the parallel emergence of Hilbert’s finitist standpoint.

This modem introduction to the foundations of logic, mathematics, and computer science answers frequent questions that mysteriously remain mostly unanswered in other texts: • Why is the truth table for the logical implication so unintuitive? • Why are there no recipes to design proofs? • Where do these numerous mathematical rules come from?