Search results for "Hypercomputation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
79	Mike Stannett	The computational status of physics.	Nat. Comput.	2009	DBLP DOI BibTeX RDF	Hypercomputation, Arrow of time, Theory of computation, Natural computation, Discrete time, Quantum theory, Philosophy of science
75	Martin Ziegler 0001	Real Hypercomputation and Continuity.	Theory Comput. Syst.	2007	DBLP DOI BibTeX RDF
55	Matthias Rauterberg	Hypercomputation, Unconsciousness and Entertainment Technology.	Fun and Games	2008	DBLP DOI BibTeX RDF	hypercomputation, quantum field, unconscious, culture, entertainment, mind
54	Hajnal Andréka, István Németi, Péter Németi	General relativistic hypercomputing and foundation of mathematics.	Nat. Comput.	2009	DBLP DOI BibTeX RDF	Relativistic computation, Hypercomputation, Church-Thuring barrier, General relativity theory, Kerr-Newman spacetimes, Church Thesis, Blue-shift problem, Evaporation of black holes, Supertasks, Malament-Hogarth spacetime, Hilbert programme, Foundations of mathematics, Black holes, Cosmology
50	B. Jack Copeland	Hypercomputation in the Chinese Room.	UMC	2002	DBLP DOI BibTeX RDF
49	Pedro Rodrigues, José Félix Costa, Hava T. Siegelmann	Verifying Properties of Neural Networks.	IWANN (1)	2001	DBLP DOI BibTeX RDF
29	Peter Koepke, Russell G. Miller	An Enhanced Theory of Infinite Time Register Machines.	CiE	2008	DBLP DOI BibTeX RDF	ordinal computability, hypercomputation, infinitary computation, register machine
26	Robert Cardona	Hydrodynamic and conservative models of hypercomputation.	CoRR	2023	DBLP DOI BibTeX RDF
26	Eugene Eberbach	On Hypercomputation, Universal and Diagonalization Complete Problems.	Fundam. Informaticae	2015	DBLP DOI BibTeX RDF
26	Florent Franchette	Oracles in the Hypercomputation Debate.	Int. J. Unconv. Comput.	2015	DBLP BibTeX RDF
26	Abhishek Bose-Kolanu	Hypercomputation, Frege, Deleuze: Solving Thomson's Lamp.	CoRR	2015	DBLP BibTeX RDF
26	Carlos Eduardo Maldonado, Nelson Alfonso Gómez-Cruz	Biological hypercomputation: A new research problem in complexity theory.	Complex.	2015	DBLP DOI BibTeX RDF
26	Aran Nayebi	Practical Intractability: A Critique of the Hypercomputation Movement.	Minds Mach.	2014	DBLP DOI BibTeX RDF
26		A Hypercomputation in Brouwer's Constructivism.	CoRR	2014	DBLP BibTeX RDF
26	Apostolos Syropoulos	Hypercomputation: Fantasy or Reality? A Position Paper.	Parallel Process. Lett.	2013	DBLP DOI BibTeX RDF
26	Naveen Sundar Govindarajulu, John Licato, Selmer Bringsjord	Small Steps toward Hypercomputation via Infinitary Machine Proof Verification and Proof Generation.	UCNC	2013	DBLP DOI BibTeX RDF
26	Naveen Sundar Govindarajulu, Selmer Bringsjord	The Myth of 'the Myth of Hypercomputation'.	Parallel Process. Lett.	2012	DBLP DOI BibTeX RDF
26	Mike Stannett	Guest Editor's Note: Special Issue on Hypercomputation, Physics and Computation.	Parallel Process. Lett.	2012	DBLP DOI BibTeX RDF
26	Selmer Bringsjord, Naveen Sundar G., Eugene Eberbach, Yingrui Yang	Perhaps the Rigorous Modeling of Economic Phenomena Requires Hypercomputation.	Int. J. Unconv. Comput.	2012	DBLP BibTeX RDF
26	Mark Dougherty	Something Old, Something New, Something Borrowed, Something Blue Part 1: Alan Turing, Hypercomputation, Adam Smith and Next Generation Intelligent Systems.	J. Intell. Syst.	2012	DBLP DOI BibTeX RDF
26	Mike Stannett, István Németi	Using Isabelle to verify special relativity, with application to hypercomputation theory	CoRR	2012	DBLP BibTeX RDF
26	Gentian Kasa	Hypercomputation: Towards an extension of the classical notion of Computability?	CoRR	2012	DBLP BibTeX RDF
26	Péter Németi, Gergely Székely	Existence of Faster than Light Signals Implies Hypercomputation already in Special Relativity.	CiE	2012	DBLP DOI BibTeX RDF
26	Mike Stannett	Membrane Systems and Hypercomputation.	Int. Conf. on Membrane Computing	2012	DBLP DOI BibTeX RDF
26	Naya Nagy, Marius Nagy, Selim G. Akl	Hypercomputation in a Cryptographic Setting: Solving the Identity Theft Problem Using Quantum Memories?	Int. J. Unconv. Comput.	2010	DBLP BibTeX RDF
26	Bruno Loff, José Félix Costa	Five Views of Hypercomputation.	Int. J. Unconv. Comput.	2009	DBLP BibTeX RDF
26	Susan Stepney	Non-Classical Hypercomputation.	Int. J. Unconv. Comput.	2009	DBLP BibTeX RDF
26	Mike Stannett	Editorial: Future Trends in Hypercomputation.	Int. J. Unconv. Comput.	2009	DBLP BibTeX RDF
26	David Love	From Hypocomputation to Hypercomputation.	Int. J. Unconv. Comput.	2009	DBLP BibTeX RDF
26	Paolo Cotogno	A Brief Critique of Pure Hypercomputation.	Minds Mach.	2009	DBLP DOI BibTeX RDF
26	Apostolos Syropoulos	Some Thoughts on Hypercomputation	CoRR	2009	DBLP BibTeX RDF
26	Alexander Leitsch, Günter Schachner, Karl Svozil	How to Acknowledge Hypercomputation?	Complex Syst.	2008	DBLP DOI BibTeX RDF
26	W. Paul Cockshott, Lewis Mackenzie, Greg Michaelson	Physical constraints on hypercomputation.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
26	Konstantine Arkoudas	Computation, hypercomputation, and physical science.	J. Appl. Log.	2008	DBLP DOI BibTeX RDF
26	Martin Ziegler 0001	Real computability and hypercomputation.		2007	RDF
26	Mark Burgin	Interactive Hypercomputation.	FCS	2007	DBLP BibTeX RDF
26	Martin Ziegler 0001	(Short) Survey of Real Hypercomputation.	CiE	2007	DBLP DOI BibTeX RDF
26	Mike Stannett	The case for hypercomputation.	Appl. Math. Comput.	2006	DBLP DOI BibTeX RDF
26	Martin Davis	Why there is no such discipline as hypercomputation.	Appl. Math. Comput.	2006	DBLP DOI BibTeX RDF
26	Toby Ord	The many forms of hypercomputation.	Appl. Math. Comput.	2006	DBLP DOI BibTeX RDF
26	Warren D. Smith	Three counterexamples refuting Kieu's plan for "quantum adiabatic hypercomputation"; and some uncomputable quantum mechanical tasks.	Appl. Math. Comput.	2006	DBLP DOI BibTeX RDF
26	Newton C. A. da Costa, Francisco A. Doria	Some thoughts on hypercomputation.	Appl. Math. Comput.	2006	DBLP DOI BibTeX RDF
26	Francisco A. Doria, José Félix Costa	Introduction to the special issue on hypercomputation.	Appl. Math. Comput.	2006	DBLP DOI BibTeX RDF
26	Petrus H. Potgieter	Zeno machines and hypercomputation.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
26	Greg Michaelson, W. Paul Cockshott	Constraints on Hypercomputation.	CiE	2006	DBLP DOI BibTeX RDF
26	István Németi, Hajnal Andréka	New Physics and Hypercomputation.	SOFSEM	2006	DBLP DOI BibTeX RDF
26	Martin Ziegler 0001	Real Hypercomputation and Continuity	CoRR	2005	DBLP BibTeX RDF
26	Tien D. Kieu	Hypercomputation with quantum adiabatic processes.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
26	Mark Burgin, Allen Klinger	Three aspects of super-recursive algorithms and hypercomputation or finding black swans.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
26	Benjamin Wells	Hypercomputation by definition.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
26	B. Jack Copeland	Hypercomputation: philosophical issues.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
26	Petrus H. Potgieter	Zeno machines and hypercomputation	CoRR	2004	DBLP BibTeX RDF
26	Oron Shagrir, Itamar Pitowsky	Physical Hypercomputation and the Church-Turing Thesis.	Minds Mach.	2003	DBLP DOI BibTeX RDF
26	Mike Stannett	Computation and Hypercomputation.	Minds Mach.	2003	DBLP DOI BibTeX RDF
26	Tien D. Kieu	Quantum Hypercomputation.	Minds Mach.	2002	DBLP DOI BibTeX RDF
26	Selmer Bringsjord, Michael Zenzen	Toward a Formal Philosophy of Hypercomputation.	Minds Mach.	2002	DBLP DOI BibTeX RDF
26	B. Jack Copeland	Hypercomputation.	Minds Mach.	2002	DBLP DOI BibTeX RDF
26	Toby Ord	Hypercomputation: computing more than the Turing machine	CoRR	2002	DBLP BibTeX RDF
26	Christof Teuscher, Moshe Sipper	Hypercomputation: hype or computation?.	Commun. ACM	2002	DBLP DOI BibTeX RDF
25	Jerzy Mycka, Francisco Coelho, José Félix Costa	The Euclid Abstract Machine: Trisection of the Angle and the Halting Problem.	UC	2006	DBLP DOI BibTeX RDF