444 research outputs found
Godel's Incompleteness Phenomenon - Computationally
We argue that Godel's completeness theorem is equivalent to completability of
consistent theories, and Godel's incompleteness theorem is equivalent to the
fact that this completion is not constructive, in the sense that there are some
consistent and recursively enumerable theories which cannot be extended to any
complete and consistent and recursively enumerable theory. Though any
consistent and decidable theory can be extended to a complete and consistent
and decidable theory. Thus deduction and consistency are not decidable in
logic, and an analogue of Rice's Theorem holds for recursively enumerable
theories: all the non-trivial properties of such theories are undecidable
Tarski
Alfred Tarski was one of the greatest logicians of the twentieth century. His influence comes not merely through his own work but from the legion of students who pursued his projects, both in Poland and Berkeley. This chapter focuses on three key areas of Tarski's research, beginning with his groundbreaking studies of the concept of truth. Tarski's work led to the creation of the area of mathematical logic known as model theory and prefigured semantic approaches in the philosophy of language and philosophical logic, such as Kripke's possible worlds semantics for modal logic. We also examine the paradoxical decomposition of the sphere known as the Banach–Tarski paradox. Finally we examine Tarski's work on decidable and undecidable theories, which he carried out in collaboration with students such as Mostowski, Presburger, Robinson and others
Enumeration Reducibility in Closure Spaces with Applications to Logic and Algebra
In many instances in first order logic or computable algebra, classical
theorems show that many problems are undecidable for general structures, but
become decidable if some rigidity is imposed on the structure. For example, the
set of theorems in many finitely axiomatisable theories is nonrecursive, but
the set of theorems for any finitely axiomatisable complete theory is
recursive. Finitely presented groups might have an nonrecursive word problem,
but finitely presented simple groups have a recursive word problem. In this
article we introduce a topological framework based on closure spaces to show
that many of these proofs can be obtained in a similar setting. We will show in
particular that these statements can be generalized to cover arbitrary
structures, with no finite or recursive presentation/axiomatization. This
generalizes in particular work by Kuznetsov and others. Examples from first
order logic and symbolic dynamics will be discussed at length
Rejection in Łukasiewicz's and Słupecki's Sense
The idea of rejection originated by Aristotle. The notion of rejection
was introduced into formal logic by Łukasiewicz [20]. He applied it to
complete syntactic characterization of deductive systems using an axiomatic
method of rejection of propositions [22, 23]. The paper gives not only genesis,
but also development and generalization of the notion of rejection. It also
emphasizes the methodological approach to biaspectual axiomatic method of
characterization of deductive systems as acceptance (asserted) systems and
rejection (refutation) systems, introduced by Łukasiewicz and developed by
his student Słupecki, the pioneers of the method, which becomes relevant in
modern approaches to logic
Decidability vs. undecidability. Logico-philosophico-historical remarks
The aim of the paper is to present the decidability problems from a philosophical and historical perspective as well as to indicate basic mathematical and logical results concerning (un)decidability of particular theories and problems
Tarski's influence on computer science
The influence of Alfred Tarski on computer science was indirect but
significant in a number of directions and was in certain respects fundamental.
Here surveyed is the work of Tarski on the decision procedure for algebra and
geometry, the method of elimination of quantifiers, the semantics of formal
languages, modeltheoretic preservation theorems, and algebraic logic; various
connections of each with computer science are taken up
On Elementary Theories of Ordinal Notation Systems based on Reflection Principles
We consider the constructive ordinal notation system for the ordinal
that were introduced by L.D. Beklemishev. There are fragments of
this system that are ordinal notation systems for the smaller ordinals
(towers of -exponentiations of the height ). This
systems are based on Japaridze's provability logic . They are
closely related with the technique of ordinal analysis of and
fragments of based on iterated reflection principles. We consider
this notation system and it's fragments as structures with the signatures
selected in a natural way. We prove that the full notation system and it's
fragments, for ordinals , have undecidable elementary theories.
We also prove that the fragments of the full system, for ordinals
, have decidable elementary theories. We obtain some results
about decidability of elementary theory, for the ordinal notation systems with
weaker signatures.Comment: 23 page
- …