Computability - PDFSEARCH.IO - Document Search Engine

Computability
Results: 1315

#	Item
121	A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory Adam Yedidia Scott Aaronson Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2016-05-03 08:34:47 Mathematics Theoretical computer science Computability theory Mathematical logic Theory of computation Turing machine Models of computation Busy beaver Halting problem ZermeloFraenkel set theory Computability Computable function
122	DISS. ETH NOAnonymous Distributed Computing: Computability, Randomization, and Checkability A thesis submitted to attain the degree of Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2016-02-01 12:02:39
123	G¨odel functional interpretation and weak compactness Ulrich Kohlenbach1 Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany -darmstadt.d Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2011-08-31 12:29:01 Mathematics Mathematical analysis Operator theory Computability theory Arithmetic function Primitive recursive function Ergodic theory Hilbert space Theoretical physics Spectral theory of ordinary differential equations Differential forms on a Riemann surface
124	Fractional Adams–Bashforth/Moulton methods: An application to the fractional Keller–Segel chemotaxis system Add to Reading List Source URL: www.cse-lab.ethz.ch Language: English - Date: 2016-05-13 03:26:01 Fractional calculus Spectral method Dynamical systems Computability theory
125	On the Computational Content of the Bolzano-Weierstraß Principle∗ Pavol Safarik and Ulrich Kohlenbach Department of Mathematics Technische Universität Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2009-10-14 11:24:50 Proof theory Logic Mathematical logic Mathematics Computability theory Primitive recursive functional Dialectica interpretation Combinatory logic Continuous function
126	AAECC manuscript No. (will be inserted by the editor) Gr¨ obner Basis Cryptosystems Peter Ackermann and Martin Kreuzer Add to Reading List Source URL: www.symbcomp.fim.uni-passau.de Language: English - Date: 2014-10-23 06:42:14 Algebra Abstract algebra Mathematics Semigroup theory Category theory Monoid Finitely generated module Presentation of a monoid Computability theory Substitution Orbifold
127	Herbrand’s theorem and extractive proof theory U. Kohlenbach Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstrasse 7, 64289 Darmstadt, Germany September 1, 2008 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2008-09-01 05:59:33 Mathematics Mathematical analysis Mathematical logic Functions and mappings Computability theory Primitive recursive function Recursion Theory of computation First-order logic Limit of a function Peano axioms Spectral theory of ordinary differential equations
128	Enabling Operator Reordering in Data Flow Programs Through Static Code Analysis Fabian Hueske Aljoscha Krettek Add to Reading List Source URL: stratosphere.eu Language: English - Date: 2016-05-27 12:05:58 Parallel computing Computability theory Subroutines Theoretical computer science Distributed computing architecture MapReduce Data-intensive computing User-defined function MAD Recursion Algorithm Big O notation
129	FOUNDATIONAL AND MATHEMATICAL USES OF HIGHER TYPES ULRICH KOHLENBACH† DEDICATED TO SOLOMON FEFERMAN FOR HIS 70TH BIRTHDAY §1. Introduction. A central theme of proof theory is expressed by the following question: Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:34:29 Computability theory Proof theory Mathematical logic Metalogic Reverse mathematics Primitive recursive functional Second-order arithmetic Peano axioms Primitive recursive function Primitive recursive arithmetic Model theory Symbol
130	Intro RAND & DNC WWKL & RWWKL Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:41:15 Mathematics Computability theory Theoretical computer science Theory of computation Reverse mathematics Computable function Graph coloring Randomness Rand RAND Corporation

UPDATE