Temptations of "Computability in Europe 2006"

[anhinga_anhinga]

University of Wales, Swansea, 30 June - 5 July, 2006

Luca Cardelli: Biological Systems as Reactive Systems.
Martin Davis: The Church-Turing Thesis: Consensus and Opposition.
István Németi: Can general relativistic computers break the Turing barrier?

Comments

[anhinga-anhinga.livejournal.com]

This is certainly true about ordinary computers :-)

Since I don't know anything about "general relativistic computers", I would not be so sure ;-) Perhaps, their size would prevent them from breaking the sound barrier ;-)

[misha-b.livejournal.com]

Right, it is a bit worrisome -- it is possiible that "general relativistic computers" may suffer from gravitational collapse.