Computable number - PDFSEARCH.IO - Document Search Engine

Computable number
Results: 71

#	Item
1	Lines Missing Every Random Point∗ Jack H. Lutz† Neil Lutz‡ Abstract Add to Reading List Source URL: paul.rutgers.edu Language: English - Date: 2014-07-23 19:14:22 Mathematical analysis Computability theory Mathematics Theory of computation Theoretical computer science Martingale theory Stochastic processes Kakeya set Real analysis Computable function Martingale Computable number
2	PDF Document Add to Reading List Source URL: homepages.math.uic.edu Language: English - Date: 2016-01-08 10:48:49 Computability theory Theoretical computer science Theory of computation Mathematics Mathematical logic Turing machine Models of computation Computable number Alan Turing Computable function Definable real number Computability
3	A computable axiomatisation of the topology of R and C Paul Taylor 6 August 2009 Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-08-10 10:52:15 Mathematics Mathematical logic Computability theory Logic Theory of computation Computable number Structure Computable function Sigma-algebra
4	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:52 Computability theory Theory of computation Mathematical logic Models of computation Theoretical computer science Gdel numbering Membrane computing Multiset Kurt Gdel Computable number Numbering Turing machine
5	Who Can Name the Bigger Number? Scott Aaronson∗ 1999 In an old joke, two noblemen vie to name the bigger number. The first, after ruminating for hours, triumphantly announces ”Eighty-three!” The second, Add to Reading List Source URL: homepages.math.uic.edu Language: English - Date: 2016-01-08 10:48:49 Theory of computation Computability theory Busy beaver Computable function Computability Turing machine Halting problem Hypercomputation Computable number Algorithm Alan Turing Ackermann function
6	ON COMBINATORIAL WEAKNESSES OF RAMSEYAN PRINCIPLES LUDOVIC PATEY ABSTRACT. Avoidance properties such as cone avoidance or PA avoidance for a principle P in reverse mathematics shows the effectiveness weakness of P. Stron Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-10-09 14:07:43 Computability theory Theory of computation Computable number Computable function 01 class Computation in the limit
7	15 > 17 JUNE http://cca-net.de anfiteatro -1.A, Faculdade de Economia Add to Reading List Source URL: cca-net.de Language: English - Date: 2016-05-26 12:34:11 Computability theory Constructivism Theory of computation Computable analysis Mathematics Logic Computable number Realizability Academia Computable measure theory
8	A LIGHTFACE ANALYSIS OF THE DIFFERENTIABILITY RANK LINDA BROWN WESTRICK Abstract. We examine the computable part of the differentiability hierarchy defined by Kechris and Woodin. In that hierarchy, the rank of a differen Add to Reading List Source URL: www.math.uconn.edu Language: English - Date: 2014-10-24 11:30:43 Ordinal numbers Proof theory Computability theory Mathematical notation Ordinal notation Continuous function Constructible universe Limit of a function Symbol NC Computable number Fast-growing hierarchy
9	RAMSEY’S THEOREM FOR SINGLETONS AND STRONG COMPUTABLE REDUCIBILITY DAMIR D. DZHAFAROV, LUDOVIC PATEY, REED SOLOMON, AND LINDA BROWN WESTRICK Abstract. We answer a question posed by Hirschfeldt and Jockusch by showing Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2016-05-31 11:43:35 Mathematics Mathematical analysis Differential forms Constructible universe Closed and exact differential forms Computability theory Combinatory logic Ordinal number Differential forms on a Riemann surface Banach fixed-point theorem
10	THE WEAKNESS OF BEING COHESIVE, THIN OR FREE IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. Informally, a mathematical statement is robust if its strength is left unchanged under variations of the statement. In this pape Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2016-02-08 07:56:59 Computability theory Computable function Computation in the limit Second-order arithmetic Compactness theorem Reverse mathematics 01 class PA degree Low Algorithmically random sequence Computable number