Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
79 | Mike Stannett |
The computational status of physics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 8(3), pp. 517-538, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 41(1), pp. 177-206, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
55 | Matthias Rauterberg |
Hypercomputation, Unconsciousness and Entertainment Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fun and Games ![In: Fun and Games, Second International Conference, Eindhoven, The Netherlands, October 20-21, 2008. Proceedings, pp. 11-20, 2008, Springer, 978-3-540-88321-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 8(3), pp. 499-516, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UMC ![In: Unconventional Models of Computation, Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002, Proceedings, pp. 15-26, 2002, Springer, 3-540-44311-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
49 | Pedro Rodrigues, José Félix Costa, Hava T. Siegelmann |
Verifying Properties of Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (1) ![In: Connectionist Models of Neurons, Learning Processes and Artificial Intelligence, 6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001 Granada, Spain, June 13-15, 2001, Proceedings, Part I, pp. 158-165, 2001, Springer, 3-540-42235-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Peter Koepke, Russell G. Miller |
An Enhanced Theory of Infinite Time Register Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings, pp. 306-315, 2008, Springer, 978-3-540-69405-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
ordinal computability, hypercomputation, infinitary computation, register machine |
26 | Robert Cardona |
Hydrodynamic and conservative models of hypercomputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.11820, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Eugene Eberbach |
On Hypercomputation, Universal and Diagonalization Complete Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 139(4), pp. 329-346, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Florent Franchette |
Oracles in the Hypercomputation Debate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Unconv. Comput. ![In: Int. J. Unconv. Comput. 11(3-4), pp. 299-323, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
26 | Abhishek Bose-Kolanu |
Hypercomputation, Frege, Deleuze: Solving Thomson's Lamp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1503.05847, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
26 | Carlos Eduardo Maldonado, Nelson Alfonso Gómez-Cruz |
Biological hypercomputation: A new research problem in complexity theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex. ![In: Complex. 20(4), pp. 8-18, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Aran Nayebi |
Practical Intractability: A Critique of the Hypercomputation Movement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Minds Mach. ![In: Minds Mach. 24(3), pp. 275-305, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | |
A Hypercomputation in Brouwer's Constructivism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1408.2930, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
26 | Apostolos Syropoulos |
Hypercomputation: Fantasy or Reality? A Position Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Process. Lett. ![In: Parallel Process. Lett. 23(1), 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UCNC ![In: Unconventional Computation and Natural Computation - 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 102-112, 2013, Springer, 978-3-642-39073-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Naveen Sundar Govindarajulu, Selmer Bringsjord |
The Myth of 'the Myth of Hypercomputation'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Process. Lett. ![In: Parallel Process. Lett. 22(3), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Mike Stannett |
Guest Editor's Note: Special Issue on Hypercomputation, Physics and Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Process. Lett. ![In: Parallel Process. Lett. 22(3), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Selmer Bringsjord, Naveen Sundar G., Eugene Eberbach, Yingrui Yang |
Perhaps the Rigorous Modeling of Economic Phenomena Requires Hypercomputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Unconv. Comput. ![In: Int. J. Unconv. Comput. 8(1), pp. 3-32, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Syst. ![In: J. Intell. Syst. 21(4), pp. 325-330, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Mike Stannett, István Németi |
Using Isabelle to verify special relativity, with application to hypercomputation theory ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1211.6468, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
26 | Gentian Kasa |
Hypercomputation: Towards an extension of the classical notion of Computability? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1210.7171, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
26 | Péter Németi, Gergely Székely |
Existence of Faster than Light Signals Implies Hypercomputation already in Special Relativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings, pp. 528-538, 2012, Springer, 978-3-642-30869-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Mike Stannett |
Membrane Systems and Hypercomputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Conf. on Membrane Computing ![In: Membrane Computing - 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers, pp. 78-87, 2012, Springer, 978-3-642-36750-2. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Unconv. Comput. ![In: Int. J. Unconv. Comput. 6(5), pp. 375-398, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
26 | Bruno Loff, José Félix Costa |
Five Views of Hypercomputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Unconv. Comput. ![In: Int. J. Unconv. Comput. 5(3-4), pp. 193-207, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
26 | Susan Stepney |
Non-Classical Hypercomputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Unconv. Comput. ![In: Int. J. Unconv. Comput. 5(3-4), pp. 267-276, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
26 | Mike Stannett |
Editorial: Future Trends in Hypercomputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Unconv. Comput. ![In: Int. J. Unconv. Comput. 5(3-4), pp. 191-192, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
26 | David Love |
From Hypocomputation to Hypercomputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Unconv. Comput. ![In: Int. J. Unconv. Comput. 5(3-4), pp. 339-367, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
26 | Paolo Cotogno |
A Brief Critique of Pure Hypercomputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Minds Mach. ![In: Minds Mach. 19(3), pp. 391-405, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Apostolos Syropoulos |
Some Thoughts on Hypercomputation ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0910.1494, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
26 | Alexander Leitsch, Günter Schachner, Karl Svozil |
How to Acknowledge Hypercomputation? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex Syst. ![In: Complex Syst. 18(1), 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | W. Paul Cockshott, Lewis Mackenzie, Greg Michaelson |
Physical constraints on hypercomputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 394(3), pp. 159-174, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Konstantine Arkoudas |
Computation, hypercomputation, and physical science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 6(4), pp. 461-475, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Martin Ziegler 0001 |
Real computability and hypercomputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
26 | Mark Burgin |
Interactive Hypercomputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 328-336, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
26 | Martin Ziegler 0001 |
(Short) Survey of Real Hypercomputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, pp. 809-824, 2007, Springer, 978-3-540-73000-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Mike Stannett |
The case for hypercomputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 178(1), pp. 8-24, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Martin Davis |
Why there is no such discipline as hypercomputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 178(1), pp. 4-7, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Toby Ord |
The many forms of hypercomputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 178(1), pp. 143-153, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 178(1), pp. 184-193, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Newton C. A. da Costa, Francisco A. Doria |
Some thoughts on hypercomputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 178(1), pp. 83-92, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Francisco A. Doria, José Félix Costa |
Introduction to the special issue on hypercomputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 178(1), pp. 1-3, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Petrus H. Potgieter |
Zeno machines and hypercomputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 358(1), pp. 23-33, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Greg Michaelson, W. Paul Cockshott |
Constraints on Hypercomputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings, pp. 378-387, 2006, Springer, 3-540-35466-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | István Németi, Hajnal Andréka |
New Physics and Hypercomputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2006: Theory and Practice of Computer Science, 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merín, Czech Republic, January 21-27, 2006, Proceedings, pp. 63-63, 2006, Springer, 3-540-31198-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Martin Ziegler 0001 |
Real Hypercomputation and Continuity ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0508069, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
26 | Tien D. Kieu |
Hypercomputation with quantum adiabatic processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 317(1-3), pp. 93-104, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Mark Burgin, Allen Klinger |
Three aspects of super-recursive algorithms and hypercomputation or finding black swans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 317(1-3), pp. 1-11, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Benjamin Wells |
Hypercomputation by definition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 317(1-3), pp. 191-207, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | B. Jack Copeland |
Hypercomputation: philosophical issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 317(1-3), pp. 251-267, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Petrus H. Potgieter |
Zeno machines and hypercomputation ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0412022, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
26 | Oron Shagrir, Itamar Pitowsky |
Physical Hypercomputation and the Church-Turing Thesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Minds Mach. ![In: Minds Mach. 13(1), pp. 87-101, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Mike Stannett |
Computation and Hypercomputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Minds Mach. ![In: Minds Mach. 13(1), pp. 115-153, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Tien D. Kieu |
Quantum Hypercomputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Minds Mach. ![In: Minds Mach. 12(4), pp. 541-561, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Selmer Bringsjord, Michael Zenzen |
Toward a Formal Philosophy of Hypercomputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Minds Mach. ![In: Minds Mach. 12(2), pp. 241-258, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | B. Jack Copeland |
Hypercomputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Minds Mach. ![In: Minds Mach. 12(4), pp. 461-502, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Toby Ord |
Hypercomputation: computing more than the Turing machine ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR math.LO/0209332, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
26 | Christof Teuscher, Moshe Sipper |
Hypercomputation: hype or computation?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 45(8), pp. 23-24, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UC ![In: Unconventional Computation, 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings, pp. 195-206, 2006, Springer, 3-540-38593-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|