Filozofia analityczna Rzecz idzie o ustalenie wzajemnego stosunku Myśl - Język - Świat. |
|
||||
Maszyna Turinga – maszyna logiczna realizujÄ…ca algorytm, pierwowzór komputera, Å›ciÅ›le zdeterminowana.
Pierwsze wyraźne postawienie problemu: czy komputery potrafią myśleć? Odpowiedź – tak
paralelizm funkcjonalny, obliczeniowość, modelowanie
Test Turinga
(Umysł niezdeterminowany na poziomie kwantowym?)
Cantor – istniejÄ… zbiory nieprzeliczalne (nie można wyliczyć elementów po kolei po ich uporzÄ…dkowaniu), zbiór liczb niewymiernych jest nieprzeliczalny.
Dowód przekÄ…tniowy: mamy ciÄ…gi liczb uporzÄ…dkowane rosnÄ…co, w których nastÄ™pny wyraz jest wiÄ™kszy. Zawsze można stworzyć liczbÄ™, która nie ma dotÄ…d żadnej interpretacji, przez dodanie do każdego wyrazu jedynki. Przynajmniej na jednym miejscu różni siÄ™ od innych. W nieskoÅ„czoność można konstruować nowe liczby.
Turing – kontynuacja Cantora: istniejÄ… liczby nieobliczalne - takie, do których nie prowadzi żaden algorytm.
Czy dla każdej liczby niewymiernej istnieje maszyna Turinga, która jÄ… generuje? Nie – istniejÄ… liczby nieobliczalne. RóżniÄ… siÄ™ na n-tym miejscu od liczby z n-ej maszyny.
Dowód na siłę redukcjonizmu.
|
Maszyna Turinga Dwuwymiarowa maszyna Turinga – UkÅ‚ad Å›ciÅ›le zdeterminowany przez reguÅ‚y operacyjne. SamoorganizujÄ…ce siÄ™ zbiory elementów, pewne struktury stabilne, odtwarzajÄ…ce siÄ™ na nowym miejscu.
|
Nota biograficzna
(za WikipediÄ…)
Alan Mathison Turing (1912-1954) – angielski matematyk, twórca maszyny Turinga i jeden z twórców informatyki. W 1926 roku Alan Turing rozpoczął naukę w Scherbone School w Dorset. Od samego początku nauki wykazywał duże zdolności w dziedzinie nauk ścisłych, jednak źle czuł się w szkole, która kształciła przyszłą kadrę przywódczą Imperium Brytyjskiego. Uczęszczając do Sherborne School, Alan odkrył swoją orientację homoseksualną, wówczas też zakochał się w Christoperze Moracomie. Ten jednak zmarł niedługo później – 13 lutego 1930 na gruźlicę. Po śmierci ukochanego, Turing zaczął jeszcze ciężej pracować aż w 1931 uzyskał stypendium naukowe na King's College w Cambridge. Przebywając w Cambridge Turing napisał swoją prawdopodobnie najważniejszą pracę matematyczną On Computable Numbers czyli O liczbach obliczalnych. To właśnie w niej wprowadził abstrakcyjną maszynę, która była w stanie wykonywać zaprogramowaną matematyczną operację czyli tak zwany algorytm. Maszyna mogła wykonać jednak tylko jeden, określony algorytm, na przykład mogła podnieść liczbę do kwadratu, podzielić, dodać, odjąć. Według Turinga liczby miały być podawane maszynie za pomocą papierowej taśmy podobnej do taśmy z melodią zapisaną dla pianoli. W swojej pracy Turing opisał wiele takich maszyn, które uzyskały wspólne miano maszyn Turinga. Następnie Turing opracował tak zwaną uniwersalną maszynę Turinga, która w zależności od instrukcji zapisanej na taśmie, miała wykonywać dowolną operację. W ten sam sposób udowodnił, że nie istnieje algorytm pozwalający odpowiedzieć na pytanie dotyczące nierozstrzygalności każdego innego twierdzenia, a zatem nawet uniwersalna maszyna Turinga nie była w stanie zidentyfikować wszystkich nierozstrzygalnych stwierdzeń. Było to ostateczne rozwiązania zagadnienia nierozstrzygalności wprowadzonego do logiki matematycznej przez Kurta Gödla. W tej samej pracy Turing przedstawił schemat pierwszego komputera przygotowany w oparciu o prace Charlesa Babbage'a i jego projekt Maszyny Różnicowej nr 2. Był to projekt, którego realizacja wykraczała poza możliwości ówczesnej techniki, jednakże z inżynierskiego punktu widzenia był on zupełnie prawidłowy. Dzięki pracy O liczbach obliczalnych, w wieku 26 lat, Turing został uznany za jednego z najlepszych matematyków świata. Bardzo szybko robił karierę naukową, został nawet członkiem King's College. W 1939 roku Rządowa Szkoła Kodów i Szyfrów zaproponowała Alanowi podjęcie pracy kryptoanalityka w Bletchley. Tam też matematyk (na przełomie 1939 i 1940 roku) zaprojektował tzw. bombę Turinga (częściowo w oparciu o prace polskich kryptoanalityków, np. Mariana Rejewskiego – zob. bomba kryptologiczna), urządzenie służące do łamania kodu Enigmy. Było to urządzenie, dzięki któremu rozszyfrowywanie wiadomości zapisanych przy użyciu niemieckiej maszyny szyfrującej Enigma było dużo prostsze, tańsze, a co najważniejsze – skuteczniejsze. Bletchey posiadało piętnaście takich bomb, każdą przeznaczoną do jednej wiadomości. W 1941 roku nastąpiła zmiana na stanowisku dyrektora Bletchley. Nowy szef, komandor Edward Travis zablokował kryptoanalitykom dostęp do funduszy na badania i budowę bomb. Wówczas Alan Turing i jego współpracownicy zwrócili się bezpośrednio do Winstona Churchilla po dotacje na prace związane z kryptoanalizą. Dotacje te otrzymali i w rok później Bletchley posiadało już czterdzieści dziewięć bomb. Powstała także stacja bomb w Gayhurst Manor. Wówczas (pośrednio) publicznie ogłoszono rekrutację do Bletchley, publikując w Daily Telegraph krzyżówkę. Sześciu czytelników, którzy poprawnie ją rozwiązali i przeszli specjalny test zorganizowany przez MI-6, zostało zatrudnionych razem z Turingiem w Bletchley. Po wojnie Alan Turing zaprojektował jeden z pierwszych elektronicznych, programowanych komputerów. Był również pomysłodawcą tak zwanego testu Turinga – eksperymentu będącego próbą formalnego zdefiniowania sztucznej inteligencji. W 1952 roku włamano się do domu Alana Turinga, który poinformował o tym fakcie policje. W wyniku jej śledztwa Turing potwierdził, iż jest homoseksualistą[1]. Wówczas został oskarżony o naruszenie moralności publicznej, wytoczono przeciwko niemu proces. Jako karę orzeczono odebranie klauzuli dostępu do poufnych informacji oraz zakazano udziału w badaniach związanych z konstrukcją komputera. Zmuszono go do konsultacji z psychiatrą i rocznej kuracji hormonalnej, polegającej na przyjmowaniu estrogenu (zob. terapia konwersyjna). Efektem kuracji była między innymi ginekomastia. 7 czerwca 1954 Alan Turing zamknął się w swojej sypialni i popełnił samobójstwo spożywając jabłko zanurzone wcześniej w cyjanku. |
| Lista polecanych do przeczytania książek znajduje się w dwóch miejscach: pełna lista wszystkich książek w dokumencie wprowadzającym do każdego działu. Książki dotyczące konkretnej tematyki z reguły są pokrótce przedstawione u dołu dokumentu. | |
| Myśli i aforyzmy ku pobudzeniu ducha, Opus - myśli wg ktrych y trzeba, Wiersze - także ze Stowarzyszenia UmarÅ‚ych Poetów i o śmierci, Niech Stanie siÄ™ Czowiek - sÅ‚owa sawiące wolnośÄ‡ i potÄ™gÄ™ czÅ‚owieka, KsiąÅ¼ki piÄ™kne,wartościowe i te które warto przeczytać, PiÄ™kne opowieści - Anthony DeMello i inni, WolnośÄ‡ - nieustanne czuwanie |
![]() |
E-mail: peter . gavagai at gmail . com (at=@) Ten dokument znajduje się w: http://www.gavagai.pl (c) 1997-2010 Pomóż mi w poszukiwaniach i przyczyń się do rozwoju portalu Gavagai.pl! Więcej informacji tutaj. Dział "Chiny i język chiński" ma nową lokalizację |