Turing jump - PDFSEARCH.IO - Document Search Engine

Turing jump
Results: 8

#	Item
1	Turing jumps and Post observes The Turing jump interpretation of transfinite provability logic Hyper-arithmetic reflection Turing jumps again Joost J. Joosten Add to Reading List Source URL: wrm17.mi.ras.ru Language: English - Date: 2017-10-23 08:17:47
2	Equality Is a Jump Paolo Boldi∗ Sebastiano Vigna∗ Dipartimento di Scienze dell’Informazione, Università degli Studi di Milano {boldi,vigna}@dsi.unimi.it Add to Reading List Source URL: vigna.di.unimi.it Language: English - Date: 2002-05-18 04:50:21 Computability theory Polynomials Turing machine Models of computation Field theory Irreducible polynomial Field extension Computability Polynomial ring Abstract algebra Mathematics Theoretical computer science
3	Samuel A. Alexander Research Statement 1 Applications of Mathematics to Theoretical Computer Science 1.1 Knowing machines . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2 A machine that knows its own code . . . Add to Reading List Source URL: www.semitrivial.com Language: English - Date: 2014-01-16 13:36:26 Logic Ordinal numbers Theory of computation Turing jump Recursively enumerable set Proof theory Ordinal arithmetic Enumeration Algorithm Mathematical logic Mathematics Computability theory
4	RESTRICTED JUMP INTERPOLATION IN THE D.C.E. DEGREES Carl G. Jockusch, Jr. and Angsheng Li∗ July 29, 2009 Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-07-29 17:56:53 Spectral theory Constructible universe Turing degree Operator theory Ordinary differential equations Orbifold Holomorphic functional calculus Mathematics Mathematical analysis Theoretical computer science
5	Turing Degrees and Definability of the Jump C Theodore A. Slaman University of California, Berkeley Add to Reading List Source URL: math.berkeley.edu Language: English - Date: 2005-07-21 06:01:25 English people Theory of computation Turing degree Alan Turing Degree of a continuous mapping Computability theory British people Mathematics
6	THE AUTOMORPHISM GROUP OF THE ENUMERATION DEGREES MARIYA I. SOSKOVA† Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2013-11-11 20:26:54 Philosophy of mathematics Turing degree Turing jump Enumeration Theodore Slaman Arithmetical set Computability theory Mathematics Logic
7	The Turing universe in the context of enumeration reducibility Mariya I. Soskova Sofia University and University of California, Berkeley A fundamental goal of computability theory is to understand the way that Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2013-11-11 20:32:42 Mathematics Turing degree Turing reduction Turing jump Enumeration Low Recursively enumerable set Arithmetical hierarchy Halting problem Computability theory Theoretical computer science Mathematical logic
8	Defining the Turing Jump Richard A. Shore∗ Theodore A. Slaman† Add to Reading List Source URL: math.berkeley.edu Language: English - Date: 1999-11-30 17:17:44 Logic Metalogic Model theory Constructible universe Theory of computation Forcing Μ operator Primitive recursive function Mathematical logic Mathematics Computability theory