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

[misha-b.livejournal.com]

> Can general relativistic computers break the Turing barrier?

Not sure about Turing, but they can break the sound barrier if launched with relativistic speed.

[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.

[ygam.livejournal.com]

Have you read this paper (http://arxiv.org/abs/quant-ph/9908043) by Seth Lloyd?

[misha-b.livejournal.com]

Pretty amusing speculations.

[anhinga-anhinga.livejournal.com]

No, thanks for the reference..

[http://users.livejournal.com/_rowan_tree_/]

Поедешь? А это способны понимать неспециалисты?

[anhinga-anhinga.livejournal.com]

> Поедешь?

нет, слишком утомительно..

понимать, наверное, до некоторой степени способны..
смотря какие неспециалисты, конечно :-)

[http://users.livejournal.com/_rowan_tree_/]

смотря какие неспециалисты - типа нас с тобой ;-)
Но я бы сказала, что если способны, то значит что-то там не то. Настоящий научный доклад начинается там, где неспециалисты понимать не способны, IMHO.

[anhinga-anhinga.livejournal.com]

> типа нас с тобой ;-)

я думаю, нам это было бы полезно послушать..

> Настоящий научный доклад начинается там, где неспециалисты понимать не способны, IMHO

наоборот, там он кончается, и начинается халтура ;-)

[http://users.livejournal.com/_rowan_tree_/]

Нет, ты путаешь. Любую хорошую работу МОЖНО объяснить неспециалистам, но когда ее объясняешь специалистам, начинать надо с интересного, оно же нетривиальное. Это уже обычно глубоко в терминологической зоне.

[anhinga-anhinga.livejournal.com]

Ну может на узкоспециальных мероприятиях, куда посторонние и не заходят..

Это же всё invited talks на большой конференции -- если ты заглянешь по ссылке, то увидишь, какое там разнообразие.. Они как раз обязаны сделать это понятным для людей из смежных областей..

[http://users.livejournal.com/_rowan_tree_/]

Invited talks ради бога пусть будут понимаемыми. А вот когда своим правды не говорят...