Hypercomputation - PDFSEARCH.IO - Document Search Engine

Hypercomputation
Results: 49

#	Item
31	Motivation (Discrete) Polynomial Hierarchy Blum-Shub-Smale Models of Computation Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2010-03-02 07:15:36 Science Stephen Smale Computational complexity theory Blum–Shub–Smale machine Theory of computation Real algebraic geometry Hypercomputation Real computation Mathematics Theoretical computer science Algebraic geometry
32	Call for Papers CiE 2009 Computability in Europe 2009: Mathematical Theory and Computational Practice Add to Reading List Source URL: math.uni-heidelberg.de Language: English - Date: 2008-08-19 06:28:19 Computability in Europe Logic Hypercomputation Computability Mathematical logic Computation Algorithm Theoretical computer science Computer science Mathematics
33	12345efghi UNIVERSITY OF WALES SWANSEA REPORT SERIES Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006 Add to Reading List Source URL: www.cs.swansea.ac.uk Language: English - Date: 2006-09-21 09:30:51 Applied mathematics Theory of computation Computability theory Computability in Europe John V. Tucker Hypercomputation Computability Computation Algorithm Computer science Theoretical computer science Mathematics
34	ON RESOLVING THE LITTLEWOOD-ROSS PARADOX (Published in Missouri Journal of Mathematical Sciences Vol.12 (No. 1, Winter 2000): 42-47) Add to Reading List Source URL: www.csc.twu.ca Language: English - Date: 2003-08-06 18:29:19 Set theory Hypercomputation Supertask Infinity Ordinal number S Cardinal number Ross–Littlewood paradox Mathematical logic Logic Mathematics
35	doi:[removed]j.amc[removed] Add to Reading List Source URL: research.cs.queensu.ca Language: English - Date: 2006-09-06 13:46:42 Computer science Applied mathematics Hypercomputation Church–Turing thesis Computable function Computable number Turing machine Computability Algorithm Theoretical computer science Computability theory Theory of computation
36	A Formalization of the Church-Turing Thesis Udi Boker and Nachum Dershowitz School of Computer Science, Tel Aviv University Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2005-04-11 03:56:50 Computability theory Models of computation Formal methods Computable function Algorithm Church–Turing thesis Turing machine Hypercomputation Computability Theoretical computer science Mathematics Theory of computation
37	The Four Sons of Penrose Nachum Dershowitz⋆ School of Computer Science Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2005-10-03 10:06:46 Theoretical computer science Computability theory Functions and mappings Halting problem Closed and exact differential forms Function Algorithm Hypercomputation Echo answer Mathematics Theory of computation Mathematical logic
38	PDF Document Add to Reading List Source URL: research.cs.queensu.ca Language: English - Date: 2005-07-27 11:43:32 Computer science Hypercomputation Church–Turing thesis Computable function Turing machine Computability Halting problem Oracle machine Alan Turing Theory of computation Theoretical computer science Computability theory
39	doi:[removed]j.amc[removed] Add to Reading List Source URL: research.cs.queensu.ca Language: English - Date: 2006-09-06 13:49:44 Computability theory Hypercomputation Computable function Church–Turing thesis Computability Computation Turing machine Super-recursive algorithm Algorithm Theoretical computer science Theory of computation Computer science
40	PDF Document Add to Reading List Source URL: www.umsl.edu Language: English - Date: 2008-01-11 11:11:08 Computability theory Applied mathematics Alan Turing Philosophy of artificial intelligence Models of computation Hypercomputation Computable function Church–Turing thesis Gualtiero Piccinini Theory of computation Theoretical computer science Computer science

UPDATE