29 research outputs found
Computability Theory
Computability is one of the fundamental notions of mathematics, trying to capture the effective content of mathematics. Starting from Gödel’s Incompleteness Theorem, it has now blossomed into a rich area with strong connections with other areas of mathematical logic as well as algebra and theoretical computer science
Randomness and Computability
This thesis establishes significant new results in the area of algorithmic randomness.
These results elucidate the deep relationship between randomness
and computability.
A number of results focus on randomness for finite strings. Levin introduced
two functions which measure the randomness of finite strings. One
function is derived from a universal monotone machine and the other function
is derived from an optimal computably enumerable semimeasure. Gacs
proved that infinitely often, the gap between these two functions exceeds the
inverse Ackermann function (applied to string length). This thesis improves
this result to show that infinitely often the difference between these two functions
exceeds the double logarithm. Another separation result is proved for
two different kinds of process machine.
Information about the randomness of finite strings can be used as a computational
resource. This information is contained in the overgraph. Muchnik
and Positselsky asked whether there exists an optimal monotone machine
whose overgraph is not truth-table complete. This question is answered in the
negative. Related results are also established.
This thesis makes advances in the theory of randomness for infinite binary
sequences. A variant of process machines is used to characterise computable
randomness, Schnorr randomness and weak randomness. This result is extended
to give characterisations of these types of randomness using truthtable
reducibility. The computable Lipschitz reducibility measures both the
relative randomness and the relative computational power of real numbers. It
is proved that the computable Lipschitz degrees of computably enumerable
sets are not dense.
Infinite binary sequences can be regarded as elements of Cantor space.
Most research in randomness for Cantor space has been conducted using the
uniform measure. However, the study of non-computable measures has led to
interesting results. This thesis shows that the two approaches that have been
used to define randomness on Cantor space for non-computable measures:
that of Reimann and Slaman, along with the uniform test approach first introduced
by Levin and also used by Gacs, Hoyrup and Rojas, are equivalent.
Levin established the existence of probability measures for which all infinite sequences are random. These measures are termed neutral measures. It is
shown that every PA degree computes a neutral measure. Work of Miller is
used to show that the set of atoms of a neutral measure is a countable Scott set
and in fact any countable Scott set is the set of atoms of some neutral measure.
Neutral measures are used to prove new results in computability theory. For
example, it is shown that the low computable enumerable sets are precisely
the computably enumerable sets bounded by PA degrees strictly below the
halting problem.
This thesis applies ideas developed in the study of randomness to computability
theory by examining indifferent sets for comeager classes in Cantor
space. A number of results are proved. For example, it is shown that there
exist 1-generic sets that can compute their own indifferent sets
ON SOME AXIOMATIC EXTENSIONS OF THE MONOIDAL T-NORM BASED LOGIC MTL: AN ANALYSIS IN THE PROPOSITIONAL AND IN THE FIRST-ORDER CASE
The scientific area this thesis belongs to are many-valued logics: in particular, the logic MTL and some of its extensions, in the propositional and in the first-order case (see [8],[9],[6],[7]). The thesis is divided in two parts: in the first one the necessary background about these logics,
with some minor new results, are presented. The second part is devoted to more specific topics: there are five chapters, each one about a different problem. In chapter 6 a temporal semantics for Basic Logic BL is
presented. In chapter 7 we move to first-order logics, by studying the supersoundness property: we have improved some previous works about this theme, by expanding the analysis to many extensions of the first-order version of MTL. Chapter 8 is dedicated to four different families of n-contractive axiomatic extensions of BL, analyzed in the propositional and in the first-order case: completeness, computational and arithmetical complexity, amalgamation and interpolation properties are studied. Finally, chapters 9 and 10 are about Nilpotent Minimum logic (NM, see [8]): in chapter 9 the sets of tautologies of some NM-chains (subalgebras
of [0,1]_NM) are studied, compared and the problems of axiomatization and undecidability are tackled. Chapter 10, instead, concerns some logical and algebraic properties of (propositional) Nilpotent Minimum logic. The results (or an extended version of them) of these last chapters have
been also presented in papers [1, 4, 5, 2, 3]. ---------------------------------References---------------------------------------------
[1] S. Aguzzoli, M. Bianchi, and V. Marra. A temporal semantics for Basic
Logic. Studia Logica, 92(2), 147-162, 2009. doi:10.1007/s11225-009-9192-3.
[2] M. Bianchi. First-order Nilpotent Minimum Logics: first steps. Submitted
for publication,2010.
[3] M. Bianchi. On some logical and algebraic properties of Nilpotent Minimum
logic and its relation with G\uf6del logic. Submitted for publication, 2010. [4] M. Bianchi and F. Montagna. Supersound many-valued logics and
Dedekind-MacNeille completions. Arch. Math. Log., 48(8), 719-736, 2009.
doi:10.1007/s00153-009-0145-3.
[5] M. Bianchi and F. Montagna. n-contractive BL-logics. Arch. Math. Log.,
2010. doi:10.1007/s00153-010-0213-8.
[6] P. Cintula, F. Esteva, J. Gispert, L. Godo, F. Montagna, and C. Noguera.
Distinguished algebraic semantics for t-norm based fuzzy logics: methods
and algebraic equivalencies. Ann. Pure Appl. Log., 160(1), 53-81, 2009.
doi:10.1016/j.apal.2009.01.012.
[7] P. Cintula and P. H\ue1jek. Triangular norm predicate fuzzy logics. Fuzzy Sets
Syst., 161(3), 311-346, 2010. doi:10.1016/j.fss.2009.09.006.
[8] F. Esteva and L. Godo. Monoidal t-norm based logic: Towards a
logic for left-continuous t-norms. Fuzzy sets Syst., 124(3), 271-288, 2001.
doi:10.1016/S0165-0114(01)00098-7.
[9] P. H\ue1jek. Metamathematics of Fuzzy Logic, volume 4 of Trends
in Logic. Kluwer Academic Publishers, paperback edition, 1998.
ISBN:9781402003707