[LUG.ro Mix] A falta de computara cuántica ahora están las SuperTask Machine.

[Horacio Castellini]

Holas... No sé si conocen la famosa paradoja de Thompson que dio origen 
a la teoría de las supertask machine, que son capaces en teoría de 
resolver problemas no computables (como el problema de la parada o nos 
NP completos), esta deviene en la famosa paradoja de Ross-Littlewood... 
la cual dice:
--------------------------
Tengo dos urnas que tienen capacidad ilimitada de almacenamiento de 
bolitas, en una hay un número infinito (alef cero) de bolitas numeradas 
en 1, 2, 3, 4, 5, .... en otra está vacía, y tengo un reloj que marca 
las 11hs. Tengo un lapso de tiempo de una hora para pasar las bolitas de 
una urna a la otra de la siguiente manera.

A las 11hs saco la bolita enumerada con 1 a 10 y las coloco en la urna 
vacía, de estas saco la numero 1. Con lo cual habrá 9 bolitas.
A las 11hs 30minutos saco otras 10 bolitas enumeradas de 11 a 20 y las 
coloco en la urna anterior y saco ahora la bolita 2; con lo cual en la 
urna están las bolitas enumeradas desde el 3 al 20
A las 11:45 saco 10 enumeradas de 21 a 30 y saco la 3
A las 11:52,5 saco 10 enumeradas de 31 a 40 y saco la 4

Es decir me aproximo a las 12 sacando en la mitad del tiempo restante 10 
bolitas de la urna infinita, las coloco en la otra y saco de esa aquella 
numerada por el evento. Entonces se asegura que al llegar a las 12hs en 
número de bolitas que habrá en la urna que pretendo llenar (F(N))es cero 
al igual que en la otra urna estando todas (un alef cero) las bolitas 
afuera de ambas.
-------------------------

Para demostrar esta paradoja se debe usar inducción transfinita, la 
demostración que da Paenza en el programa "alterados por pi" no es 
correcta, y menos cualquiera que quiera usar inducción matemática ya que 
el problema resulta indecidible.

Pero retornando a lo anterior...

En complejidad computacional, un supertask es una tarea que se produce 
dentro de un intervalo finito de tiempo, que requiere la participación 
infinita de muchos pasos (subtareas).  Supertask El término fue acuñado 
por el filósofo James F. Thomson.

Bueno parece ser que ya hay gente pensando en computadoras supertask... 
a falta de no estar todavía desarrollada la computación cuántica...