Tako rzecze Marek Bieniek:

> To ja też napiszę offtopicznie:)
>> PS. robi się nieco off-topicowo, może lepiej przejdziemy z dalszą dyskusją
>> na priva (chyba, że grupowicze nie mają nic przeciwko naszemu wątkowi)?
> Jak dla mnie ta dyskusja jest znacznie bardziej na temat, niż oberon:)


Z wielkim opóźnieniem, ale pozwolę sobie zacytować uzyskaną odpowiedź:

> Klasa problemow, w sensie ich rodzaju, jest sprowadzalna do innej klasy,
> najczesciej do klasy problemow grafowych. Natomiast, istnieje hierarchia
> wielomianowa zlozonosci problemu. W samym srodku tej hierarchi sa
> problemy znane, jako rozwiazywalne, pozniej, czym blizej krawedzi (ktora
> nie wiadomo, czy w ogole istnieje), znajduja sie coraz trudniejsze
> problemy, generalnie nierozwiazywalne.


Moje pytanie dotyczy w takim razie owej krawędzi: czy Gödel nie udowodnił
właśnie, że owa krawędź istnieje? I jeszcze jedno - czy nierozwiązywalność
tych problemów wynika np. z ilości czasu potrzebnego na ich rozwiązanie czy
jest raczej właściwością danej klasy problemów (z tego co zrozumiałem z
analizy prac Gödela wynika dla mnie, że jest to właściwość danej klasy
problemów, ale proszę o uściślenie). Aha, pod tym adresem:

http://www.ncsu.edu/felder-public/kenny/papers/godel
.html

znalazłem pracę tłumaczącą teorię Gödela takim jak ja laikom. Czy mógłbym
prosić o jakąś opinię odnośnie rzetelności tej analizy?

--
[ mailto:eclipse(at)post.pl ] [ http://eclipse.danecki.net ]
[ ..but the sun is eclipsed by the moon.. ] [ +48 609 676 178 ]