Umysł Komputer Świat TEX output: :17 strona: 1

Transkrypt

1 Umysł Komputer Świat

2

3 INFORMATYKA I FILOZOFIA Witold Marciszewski Paweł Stacewicz Umysł Komputer Świat O zagadce umysłu z informatycznego punktu widzenia E Warszawa Akademicka Oficyna Wydawnicza EXIT 2011

4 c Witold Marciszewski 2011 c Paweł Stacewicz 2011 c EXIT 2011 Książka ukazuje się w serii: Problemy Współczesnej Nauki Teoria i Zastosowania Edytor serii: prof. Leonard Bolc Autorzy: Prof. Witold Marciszewski Wyższa Szkoła Administracji Publicznej im. Stanisława Staszica w Białymstoku Dr Paweł Stacewicz Wydział Matematyki i Nauk Informacyjnych Politechniki Warszawskiej Opracowanie graficzne i format składu TEX Jarosław Sokołowski Zdjęcie na okładce przedstawia zbudowany w 1879 roku egzemplarz czterodziałaniowego kalkulatora mechanicznego skonstruowanego w pierwszej wesji przez G. W. Leibniza około roku Akademicka Oficyna Wydawnicza EXIT biuro@exit.pl ISBN

5 Spis treści O zamierzaniach tej książki i jej autorach Jak wiedza współżyje z niewiedzą we współczesnej nauce Informatyczny punkt widzenia u każdego z autorów Profil autora: Witold Marciszewski Profil autora: Paweł Stacewicz Paweł Stacewicz Część Pierwsza Informatyczna inżynieria umysłu 1. Co inżynierowie mogą wnieść do nauk o umyśle? Gra w umysł Nauki o umyśle Inżynierskie resumé Czy komputery mogą być nieobliczalne? Co zrobią trudno przewidzieć Złożoność czasowa algorytmów Problemy łatwe, trudne i najtrudniejsze Trzy poziomy trudności Czy istnieje sztuczna inteligencja? Odrobina psychologii Od psychologii do informatyki Logicyzm i naturalizm Rozterki filozofów Czy komputer przypomina mózg? Mózg biologiczna centrala naszego organizmu Mózgopodobny wynalazek Sieć jako model mózgu Czy roboty powinny się uczyć? Skąd się biorą roboty? Roboty w szkole? Jak maszyny informatyczne mogą się uczyć? Z nieskończonością w tle

6 6 6. Czy powstaną maszyny autonomiczne? Komputer jako narzędzie Od kalkulatorów do maszyn interaktywnych W stronę komputerowej autonomii Czy musimy obawiać się komputerowych zombi? Od horrorów do filozofii Co wiemy o świadomości? Algorytm świadomości? Człowiek górą Czy roboty przyszłości będą ewoluować? Ewolucja naturalna Od biologii do przetwarzania danych Ku czemu zdają się prowadzić techniki ewolucyjne Czy komputery przetwarzają informacje? Różne wymiary informacji Bity, bajty i struktury danych Dlaczego informacje warto odróżniać od danych? Czy umysł jest liczbą? Jak dojrzewało pojęcie liczby? O maszynach Turinga i liczbach nieobliczalnych Od pomysłów Turinga do teorii umysłu Co może wynikać z faktu, że umysł jest liczbą? Witold Marciszewski Część Druga Światopogląd ery informatycznej 11. Zagadka umysłu w centrum światopoglądu informatycznego Rzut oka na epoki cywilizacji po czas Oświecenia Era informatyczna w porównaniu z przemysłową Pojęcie obliczalności w centrum zagadki umysłu Konfrontacja uniwersalnej maszyny Turinga z rzeczywistością fizyczną Przegląd pojęć i zagadnień tej części książki Rzut oka na rozwój informatyki od Pascala do Turinga i von Neumanna Od pierwszych kalkulatorów do powstania ENIACa Wkład i znaczenie Turinga Wkład i znaczenie von Neumanna

7 13. Rzut oka na rozwój informatyki. Zagadka sztucznej inteligencji Na czym polega zagadka sztucznej inteligencji? Dwa typy inteligencji według Pascala Pascal i von Neumann a badanie rozumowań potocznych pod kątem SI Czy istnieją algorytmy rozumowań potocznych, obrazowych i emocjonalnych? Informatyka ogólna czyli teoria przetwarzania informacji Co jest konieczne, żeby zasłużyć na miano komputera? Kraina SPIN-ów jako domena informatyki ogólnej Na czym polega świadomość informatyczna Wycieczka w naszą teraźniejszość Zasięg i komponenty świadomości informatycznej Wymiary i poziomy świadomości informatycznej Światopogląd informatyczny czyli informatyzm Światopogląd informatyczny wytwór naszego wieku Światopogląd ogląd świata i busola postępowania Materialistyczna antyteza światopoglądu informatycznego Jak umysł rozmawia ze światem w kodzie binarnym Porozumienie umysłu ze światem przez kod matematyczny Rodzaje kodów i notacji Sukces kodu binarnego, jego relacja do analogowego Moc obliczeniowa a cyfrowo-analogowy dualizm Rozszerzenie pojęcia mocy obliczeniowej i problem obliczalności świata Strategia analogowa w sukurs cyfrowej w sytuacjach kryzysowych Intermedium: z wizytą w Wiedniu u docenta Gödla Strategia cyfrowa: od arytmetyzacji do fizykalizacji języka Dynamika umysłu w perspektywie gödlowskiej Humanistyka a robotyka Dynamika dodatnich sprzężeń zwrotnych między umysłem i językiem MAG: samopotwierdzalne MetaArytmetyczne zdanie Gödlowskie AG: samopotwierdzalne Arytmetyczne zdanie Gödlowskie Humanistyczna interpretacja niezupełności arytmetyki

8 8 20. Informatyczny sposób myślenia o zagadnieniach społecznych Utyskiwania i nadzieje pod adresem mocy obliczeniowej organów władzy Wzmacnianie mocy obliczeniowej przez postępowanie analogowe Problem powiązania postępowania algorytmicznego z analogowym Indeks Bibliografia