🚀 go-pugleaf

Michal Przybylek <mrp@neostrada.pl> napisał(a): 

> "Aleksander Galicki" <tretete@NOSPAM.gazeta.pl> wrote:
> 
> > Ktos obalil najprostsza postac tezy Churcha-Turinga...?
> 
> A ktora postac jest najprostsza ?
> 
> W kazdym razie, jak ja rozumiem, oni napisali (zgodnie z prawda i bierzacym
> przeswiadczeniem), ze pewne procesy fizyczne daja silne przeslanki na to, ze
> slaba postac tezy C-T (wszystkie praktycznie realizowalne maszybny
> obliczeniowe sa wielomianowo rownowazne) nie jest sluszna. Zauwaz, ze oni
> nie musza wykazywac nieslusznosci tej tezy - wystarczy, ze pewne fakty
> poddaja ja w watpliwosc - to raczej zwolennicy tezy powinni dac mocne
> argumenty za tym, ze teza dziala.
> 

Najprostsza to ta wlasnie bez odwolan do wielomianowosci, ta ktora mowi 
jedynie o obliczalnosci/nieobliczalnosci. Prosze zauwazyc, ze wlasnie o niej 
i mowia. I to mi wlasnie wyglada na pier..lenie. Komputery kwantowe rozwiaza 
problem stopu (i, efektywnie, np wszystkie conjectures, ktore trapia 
matematykow) ?!


A.

-- 
Wysłano z serwisu Usenet w portalu Gazeta.pl -> http://www.gazeta.pl/usenet/