Computability in Europe 2006
Logical Approaches to Computational Barriers


Regular Talk:
Relativity theory for logicians and new computing paradigms


THIS TALK IS CANCELLED!!!
Speaker: Hajnal Andréka

Abstract

Physical foundation for hypercomputing is provided
by general relativity. In turn, here logical foundation for
relativity is presented making relativistic hypercomputation
self-contained for logicians and computer scientists. Further, new
convergence phenomena between computing, AI, foundations of science,
emergence, new cosmology, black hole physics are highlighted. 


websites: Arnold Beckmann 2006-06-29