Ocena:
Obecnie brak opinii czytelników. Ocena opiera się na 2 głosach.
Undecidability, Uncomputability, and Unpredictability
Przez krótki czas w historii można było sobie wyobrazić, że wystarczająco zaawansowany intelekt może, przy wystarczającej ilości czasu i zasobów, w zasadzie zrozumieć, jak matematycznie udowodnić wszystko, co jest prawdą.
Mógłby dostrzec, jaka matematyka odpowiada prawom fizycznym, i wykorzystać te prawa do przewidywania wszystkiego, co się wydarzy, zanim się wydarzy. Ten czas już minął.
Wyniki nierozstrzygalności Gödla (twierdzenia o niekompletności), dowód Turinga na istnienie wartości nieobliczalnych, sformułowanie teorii kwantowej, chaos i inne wydarzenia w ciągu ostatniego stulecia pokazały, że istnieją rygorystyczne argumenty ograniczające to, co możemy udowodnić, obliczyć i przewidzieć. Podczas gdy niektóre powiązania między tymi wynikami wyszły na jaw, wiele z nich pozostaje niejasnych, a implikacje są niejasne. Czy istnieją na przykład rzeczywiste konsekwencje nierozstrzygalności i nieobliczalności dla fizyki - w tym mechaniki kwantowej? Czy istnieją implikacje dla naszego zrozumienia relacji między sprawczością, inteligencją, umysłem i światem fizycznym?
Ta książka, oparta na zwycięskich esejach z corocznego konkursu FQXi, zawiera dziesięć eksploracji nierozstrzygalności, nieobliczalności i nieprzewidywalności. Artykuły obfitują w powiązania, implikacje i spekulacje, podejmując rygorystyczne, ale odważne i otwarte badania nad znaczeniem tych ograniczeń dla świata fizycznego i dla nas jako ludzi.
