7 research outputs found
There are no maximal d.c.e. wtt-degrees
В статье доказывается, что не существует максимальной 2-в.п. wtt-степени в 2-в.п. wtt-степеня
Computability Theory
Computability and computable enumerability are two of the fundamental notions of mathematics. Interest in effectiveness is already apparent in the famous Hilbert problems, in particular the second and tenth, and in early 20th century work of Dehn, initiating the study of word problems in group theory. The last decade has seen both completely new subareas develop as well as remarkable growth in two-way interactions between classical computability theory and areas of applications. There is also a great deal of work on algorithmic randomness, reverse mathematics, computable analysis, and in computable structure theory/computable model theory. The goal of this workshop is to bring together researchers representing different aspects of computability theory to discuss recent advances, and to stimulate future work
There are no maximal d.c.e. wtt-degrees
В статье доказывается, что не существует максимальной 2-в.п. wtt-степени в 2-в.п. wtt-степеня
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
Trinity College Bulletin, 2009-2010
Annual catalog of courses, departments, staff listing.https://digitalrepository.trincoll.edu/bulletin/1000/thumbnail.jp