Czy świat jest matematyczny (a nie tylko matematyzowalny)?

Obecny wpis kieruję przede wszystkim (choć nie tylko) do studentów wydziału WAiNS PW, którzy na kolejnych zajęciach z przedmiotu „Nauka a światopogląd” będą  dyskutować temat wskazany w tytule wpisu. Przed rozpoczęciem dyskusji – i tej na żywo, i tej w internecie – wyjaśnię krótko, co będziemy rozumieć pod pojęciami matematyczności i matematyzowalności świata.

Pojęcie pierwsze jest silniejsze, a dotyczy świata rozpatrywanego niezależnie od poznających go podmiotów (czyli ludzi). Jak powiedzieliby filozofowie: ma charakter ontologiczny. Zgodnie z tym jego charakterem, świat jest matematyczny w swej istocie –  to znaczy najbardziej istotne własności świata  są odzwierciedlone w zasadach, obiektach i twierdzeniach matematyki (splecionych niezwykle mocno z prawami nauk przyrodniczych, jak fizyka czy chemia).
Tak postrzegał rzeczywistość Platon – dla którego świat realny był jakimś niedoskonałym urzeczywistnieniem czy też przejawianiem się  doskonałego i niezmiennego uniwersum idei (w tym: matematycznych). Tak myślał zapewne Galileusz – gdy formułował słynny sąd, iż „Księga przyrody jest napisana językiem matematyki”. A także Leibniz – przyrównujący Stwórcę i Animatora świata do operującego na liczbach matematyka (w jednym z jego dzieł czytamy: „Gdy Bóg rachuje, staje się świat”).
Tak sądzi wreszcie wielu współczesnych ludzi nauki – chociażby Roger Penrose czy Michał Heller.
Jednym słowem: świat matematyczny to świat przeniknięty jakimś wewnętrznym porządkiem (harmonią), którego istotne rysy oddaje przede wszystkim matematyka (jeśli nie sama, to sprzęgnięta z naukami przyrodniczymi).

Pojęcie drugie –  matematyzowalności –  odnosi się po części do świata, a po części do człowieka, który za pomocą matematycznych narzędzi świat opisuje i  przekształca. Ma zatem wymiar epistemologiczny i praktyczny.
Światu przysługuje cecha matematyzowalności (słabsza od matematyczności), ponieważ poddaje się on fragmentarycznie matematycznym opisom i opartym na matematyce przekształceniom. Tak naprawdę jednak to w nas ludziach tkwi potrzeba/zdolność matematyzowania. I to my właśnie, w wyniku wielowiekowego wysiłku tak a nie inaczej ukształtowanych  intelektów, uczyniliśmy świat matematycznym.
Są to poglądy ostrożne w stosunku do świata (nie wiadomo, jaki w swojej istocie jest), ale dosyć śmiałe w stosunku do człowieka (w jego naturę wpisuje się potrzeba porządku i porządkowania). Ten typ myślenia charakteryzuje bardziej Arystotelesa niż Platona, bardziej Kanta niż Leibniza, bardziej matematycznych formalistów (z Hilbertem na czele) niż platoników.

Tyle tytułem wstępnych wyjaśnień i zachęty do dalszej dyskusji…

Podstawą dyskusji proponuję uczynić:

A) argumenty nadesłane przez studentów wydziału WAiNS PW,

B) dwa historyczne wpisy blogowe:
Czy świat jest matematyczny?
Matematyka–Człowiek–Świat,

C) slajdy do wykładu wygłoszonego na ostatnich zajęciach,

D) pewien popularno-naukowy film (z udziałem R. Penrose’a i G. Chaitina).

A zatem… jak Państwo uważacie:

Czy świat jest po prostu MATEMATYCZNY (taka jest jego istota), czy raczej MATEMATYZOWALNY (i zmatematyzowany przez człowieka)… ?
I jakie argumenty za Państwa poglądami przemawiają…?

Zaszufladkowano do kategorii Dydaktyka logiki i filozofii | Otagowano , | 6 komentarzy

Racjonalizm i pragmatyzm Kazimierza Ajdukiewicza

 Refleksje nad odznaczeniem  „Bene Meritis de Philosophia”

Życie akademickie obfituje w rytuały. Jedne są odwieczne i bardzo czcigodne, inne dopiero co wymyślone w zacnych intencjach. Zacna intencja przyświecała uczestnikom X  Ogólnopolskiego Zjazdu Filozoficznego w Poznaniu, 2015, gdy uchwalili ustanowienie medalu „Bene Meritis de Philosophia”, co się tłumaczy „dobrze dla filozofii zasłużonym”. Pomysł jest trafny. Gdy się docenia zasługi jednych, i tym samym  określa dobre wzorce czy wysokie standardy, ustawia się innym jakby drogowskazy do podążania właściwymi drogami.

Każdy dobry pomysł da się ulepszać, toteż jako jeden z odbiorców tego odznaczenia w jego pierwszej edycji  chciałbym podsunąć  pod rozwagę komisjom od edycji  następnych ważne, jak sądzę, udoskonalenie proceduralne: żeby ci, co dostępują odznaczenia dowiadywali się, co też społeczność akademicka, przez daną komisję reprezentowana.  najbardziej w ich dorobku ceni. Byłby to dla nich i dla środowiska filozoficznego impuls do refleksji: nad czym warto się trudzić:  jakie kierunki badań, jakie metody etc.  najlepiej zasługują się filozofii.

Pomyślałem więc,  wobec braku takiej procedury na obecnym etapie, spróbować  samooceny i powiedzieć, co z moich dociekań i konkluzji chciałbym polecić jako godne podjęcia i kontynuacji. Tak się dobrze składa, że kierunek, do którego chciałbym zachęcić  młodszych ma silną reprezentację w sławetnej Szkole Lwowsko-Warszawskiej. Składają się na nią nazwiska uczonych szczególnie twórczych i w skali światowej  wielce wpływowych. Są to: Kazimierz Ajdukiewicz, Jan Łukasiewicz i Alfred Tarski. Każdy z nich na swój sposób był racjonalistą o zabarwieniu platońskim , a zarazem pragmatystą.

Jeśli mam rację w takim rozpoznaniu ich  orientacji filozoficznej oraz podaniu dokumentacji, której nikt przedtem nie dostarczył, to myślę, że w stopniu skromnym, ale jakimś,   jestem bene bene meritus de philosophia. Dokumentacja, jaką zebrałem zawiera się w dość obszernym studium „Scientific philosophy in the Lvov-Warsaw School. Pragmatic rationalism as its mainstream trend”, dostępnym „on line”:  http://calculemus.org/CA/fil-nauki/2016/pragm-ration.pdf.  Jest to  wkład do księgi jubileuszowej na 80-lecie ks. prof. Michała Hellera, nie przypadkiem  jemu dedykowany, bo jest to wybitny szermierz inspirowanego Platonem racjonalizmu.

#  #  #

Obecny wpis jest  adresowany przede wszystkim do członków Rady Naukowej Instytutu Filozofii UW — z podziękowaniem za akt wręczenia mi „Bene Meritis” w imieniu X Polskiego Zjazdu Filozoficznego,  który wykonanie tego aktu powierzył instytucjom, z którymi łączy  odznaczonych jakiś  rodzaj afiliacji.

Spotkanie odbyło się 29.XI.2016 w sali im. Kazimierza Ajdukiewicza, w której przed laty  odbywały się seminaria kierowanej przez niego Katedry Logiki. Portret zaś Patrona sali miałem, przemawiając, na wprost siebie. Uznałem więc że warto się podzielić wiedzą o ewolucji Ajdukiewicza w kierunku pragmatycznego racjonalizmu, skoro sam się do takiej orientacji przyznaję i jemu ją w znacznej mierze zawdzięczam. Doświadczyłem  jego inspiracji jako asystent w projekcie badawczym  z metodologii nauk empirycznych.  Dyskutując  nad moim wkładem do projektu, dostrzegł  on  tendencję  racjonalistyczną i pragmatyczną, i zachęcał do dalszego podążania w tym kierunku.  Przy tej sposobności poznałem jego własne preferencje, a moja z nimi zbieżność była silnym na dalsze lata impulsem własnych dociekań.

Dziękując Instytutowi Filozofii UW za aranżację spotkania,  w paru słowach  opowiedziałem uczestnikom  o treści mojego wkładu do wspomnianego projektu Ajdukiewicza, a że czas był limitowany, obiecalem ciąg dalszy przedstawić w obecnym blogu. Gdy zasiadłem nad klawiaturą, uprzytomniłem sobie,  że nie muszę się wysilać, żeby zmieścić tekst w ramach blogu (który dłuższych wywodów nie lubi),  bo dysponuję systematycznym wywodem na wchodzący w grę temat, w formacie PDF, mianowicie cytowanym wyżej tekstem do tomu dedykowanego prof. Hellerowi.

Natomiast dyskusja nad jego treścią, za którą byłbym najszczerzej wdzięczny, może być prowadzona na  blogu w formie komentarzy pod obecnym wpisem. Myślę, że taka technika dyskusji akademickiej ma szanse się przyjąć, łącząc w sobie gruntowność poddanego dyskusji tekstu z elastyczną interaktywnością blogu. Dla ułatwienia raz jeszcze podaję URL: http://calculemus.org/CA/fil-nauki/2016/pragm-ration.pdf

Przypuszczam, że znajdą się osoby, które uznają za ekscentryczny pomysł łączenia racjonalizmu  (platonizmu) z pragmatyzmem, a jeszcze bardziej zda się im ryzykowne przypisywanie tej postawy głównemu nurtowi  Szkoły Lwowsko-Warszawskiej.  Byłbym bardzo ciekaw ich reakcji i argumentacji.  Z góry za nią dziękuję.

Zaszufladkowano do kategorii Epistemologia i ontologia, Światopogląd racjonalistyczny | Otagowano , , | Jeden komentarz

Czy warto być racjonalistą (a nie irracjonalistą)?

Obecny wpis jest pomyślany jako wstęp do dyskusji na temat szeroko pojętego racjonalizmu – rozumianego po trosze filozoficznie, a po trosze jako postawa światopoglądowa. Racjonalizm ujęty szeroko przeciwstawia się irracjonalizmowi – a więc filozofii/postawie, która docenia poznawczą i życiową war tość czynników pozarozumowych (takich jak uczucia, emocje czy akty intuicji). Zważywszy na utrwalony w naszej kulturze zwyczaj językowy, irracjonalizm wydaje się być w głębokiej defensywie. Wszak 'irracjonalny’ (np. argument) to tyle co absurdalny, bezsensowny, wzięty z sufitu, głupi. Dyskutując jednak, nie musimy się przejmować tym powierzchownym znaczeniem. Sięgnijmy raczej do bogatej tradycji filozoficznej, gdzie poważnych argumentów za irracjonalizmem (a przynajmniej pewnym irracjonalnym dopełnieniem racjonalizmu) nie brakuje. Znajdziemy je na przykład u Pascala…

Swoje argumenty „za” i „przeciw” racjonalizmowi nadesłali studenci wydziału WAiNS PW (którzy w najbliższy czwartek będą dyskutować na żywo, w trakcie zajęć z przedmiotu „Nauka a światopogląd”).

♦   Oto te ARGUMENTY (dostępne w pliku pdf)

W dyskusji mogą okazać się przydatne również:

♦   Krótki fragment książki polskiego filozofia i logika, Kazimierza Ajdukiewicza.
♦   Poświęcone racjonalizmowi slajdy z ostatniego wykładu.

Dyskusję naszą proponuję ukierunkować na poszukiwanie „złotego środka”.
Mianowicie: 1) Co pozytywnego irracjonalizm może dodać do postawy racjonalnej?
I na odwrót: 2) Czym racjonalizm może się przysłużyć postawie irracjonalnej?

Gorąco zapraszam do debaty — Paweł Stacewicz

Zaszufladkowano do kategorii Dydaktyka logiki i filozofii | Otagowano , , , , | 16 komentarzy

Turing jako maszyna z wyrocznią
lecz bez daru nieomylności

Głos na konferencji „Filozofia w Informatyce”, Kraków 2016

Odczyt jest skomponowany jako sekwencja pytań,  przy których są skrótowo naszkicowane dane do odpowiedzi. Poniżej znajdują się te kwestie jako ułatwienie w pisaniu komentarza: autor komentarza proszony jest o wska  pzanie numeru kwestii, do której nawiązują jego uwagi. Pełniejsze rozwinięcie odczytu zostanie opublikowane pod koniec listopada 2016.

Q.1. Jak nazwać światopogląd, w którym kategorią centralną jest pojęcie
mocy obliczeniowej?

Q.2. Czy pojęcie mocy obliczeniowej  może być zrozumiałe intuicyjnie dla osoby nie znającej języka informatyki?

Q.3. Czy intuicyjne pojęciee mocy obliczeniowej odgrywa rolę w naukach niezależnie od jego uściślenia w informatyce?

Q.4. . Co wnosi do jego uściślenia pojęcie uniwersalnej maszyny Turinga
oraz wyniki Gödla?

Q.5. Czy jest powód, żeby pogląd mający jako centralną kategorię pojęciemocy obliczeniowej zaliczać do światopoglądów?

Q.6. Czy Turing należy do którejś kategorii maszyn Turinga?

Q.7. Dlaczego komputera (UTM) nie stać na dowód przekątniowy?

Q.8. Jak pojmował Turing możliwość nie-mechanicznych aktów umysłu?

Q.9. Czy maszyna wyroczna realizuje obliczenia naturalne?

Q.10. Czy maszyna wyroczna może być omylna?

Zaszufladkowano do kategorii Bez kategorii | Otagowano , | Jeden komentarz

Obliczenia naturalne i quasi-naturalne

Niniejszym wpisem chciałbym wywołać dyskusję nad zagadnieniem obliczeń naturalnych. Zagadnienie to sytuuje się na pograniczu informatyki (badającej różne modele i/lub implementacje obliczeń) oraz nauk przyrodniczych (badających naturę, w obrębie której zachodzą pewne procesy obliczeniowe).

Nie jest to oczywiście zagadnienie sztuczne ( :-)).
Od dobrych kilkunastu lat toczą się realne badania nad natural computing, których dwoistą naturę streszcza następująca uwaga specjalisty:
Natural computing has taught us to think ‘naturally’ about computation and also to think computationally about nature
(L.N. de Castro 2007, przytaczam za przygotowanym do publikacji tekstem P. Polaka).

———–

Podstawą naszej dyskusji proponuję uczynić tekst przeglądowy G. Rosenberga i L. Kari „The Many Facets of Natural Computing”, a także  moje robocze slajdy, które do tego tekstu częściowo nawiązują.

Chciałbym się skupić na następujących kwestiach (w kolejnych punktach zestawiam pytania główne, a pod nimi pytania sugerujące pewne kierunki odpowiedzi):

1)  Czym są w ogóle obliczenia i obliczanie (ang. computing)?

—  Czy mamy się zgodzić, na to że:  a) w sensie bardzo ogólnym „obliczać” to tyle co „przetwarzać dane (kody) za pomocą pewnych dobrze określonych reguł”, zaś b) w sensie bardzo szczegółowym  to tyle, co „realizować operacje zgodne z pewnym ściśle określonym, formalnym modelem obliczeń (jak uniwersalna maszyna Turinga)”?

2)  Czym są obliczenia naturalne?

—  Czy może nas zadowolić taka oto trójznaczność: A) obliczenia sztuczne, lecz inspirowane obserwacją natury, B) obliczenia sztuczne, lecz realizowane za pomocą pochodzących z natury nośników i/lub procesów, C) obliczenia występujące w naturze (czyli przyrodzie).

—  Czy nie trafniej byłoby nazwać obliczenia typu A i B quasi-naturalnymi, bo w gruncie rzeczy są one sztuczne (projektowane przez ludzi), a ich związek z naturą polega na stosowaniu zaczerpniętych z natury reguł (forma) i/lub nośników (materia)?

3)  Czy obliczenia naprawdę naturalne (typu C) naprawdę istnieją, czy też to człowiek opisuje odpowiadające im procesy w kategoriach obliczeniowych?

—  Czy możemy wątpić w to, że np. kod DNA jest pewną paczką danych, i że kody takie podlegają (w sposób naturalny) pewnym rozpoznanym przez nas przekształceniom?

—  Czy założenie o istnieniu obliczeń naprawdę naturalnych nie jest konieczne do tego, by móc wytwarzać obliczania quasi-naturalne?

4)  Czy każdy proces w przyrodzie ma charakter obliczeniowy? Czy jego natura jest obliczeniowa?

—  Czy nawet nie wierząc w Boga, możemy zaakceptować domysł Leibniza, że „Cum Deus calculat, fit mundus”   (czyli: „Gdy Bóg rachuje/oblicza, staje się świat”)?

5)  Czy dla skuteczności projektowanych przez nas obliczeń quasi-naturalnych wystarczy odwołać się do natury nieożywionej (układy fizyczne), czy też trzeba naśladować lub wykorzystywać naturę ożywioną (układy co najmniej biologiczne)?

—  Przykładowo: czy mamy bardziej wierzyć w obliczenia kwantowe, czy bio-molekularne? (dwie wymienione kategorie nie wyczerpują oczywiście dostępnej palety możliwości).

Pozdrawiam wszystkich i zapraszam do dyskusji — Paweł Stacewicz.

Zaszufladkowano do kategorii Filozofia informatyki, Filozofia nauki, Światopogląd informatyczny, Światopogląd racjonalistyczny | Otagowano , , | 8 komentarzy

Czy warto być sceptykiem?

Obecny wpis służy wywołaniu dyskusji na temat sceptycyzmu jako postawy światopoglądowej – mającej swoje oparcie, a także odparcie, w pewnych stanowiskach filozoficznych (jak np. starożytny sceptycyzm Pirrona).

Zarówno ten wpis, jak i komentarze do niego, są po części historyczne — to znaczy były publikowane około rok temu (piszę te słowa 8-11-2017) .
Niniejszym treść wpisu modyfikuję, tak aby zachęcić do dyskusji kolejny rocznik studentek/ów. Czekam również na argumenty tych osób, które zgłosiły na tegorocznych zajęciach (w ramach przedmiotu „Nauka a światopogląd”) chęć uczestnictwa w dyskusji. Gdy tylko je dostanę,  zalinkuję w tym miejscu.

Dalszą dyskusję mogą ukierunkować slajdy do mojego wykładu, na których przedstawiam wybiórczo rożne argumenty filozofów przyznających się do skrajnego bądź umiarkowanego sceptycyzmu.

♦   Oto te  SLAJDY (dostępne w pliku pdf)

Aby ośmielić nowe osoby do przysyłania swoich argumentów, a także dodawania komentarzy pod już toczącą się dyskusją, przedstawiam trzy przeciwstawne głosy studenckie (pochodzące z roku ubiegłego).

***********************

Oto wspomniane GŁOSY (za i przeciw postawie sceptycznej):

1-za.
Sceptyk nigdy nie jest „zadowolony”, więc nigdy nie spoczywa na laurach.

1-przeciw.
Ciągła niepewność o to, czy jakiekolwiek z naszych przekonań jest właściwe sprawia, że życie staje się o wiele trudniejsze.

2-za.
Sceptycyzm = Wolność — od opinii innych, ich oraz własnych emocji. Wolność i samodzielność sceptyka są bezgraniczne.

2-przeciw.
Sceptycy zrażają do siebie ludzi, gdyż stale podważając opinie i przekonania drugiego człowieka sprawiają, ze jego pewność siebie i chęć działania się zmniejszają. Tym samym sceptykom musi być trudno nawiązywać więzi emocjonalne z innymi ludźmi.

3-za.
Sceptycyzm jest kolebką intelektualizmu i ważnym czynnikiem wkroczenia człowieka na drogę „ku mądrości” – występuje on przeciwko prostocie i głupocie.

3-przeciw.
Wątpiący nie może zwątpić tylko w to, że wątpi, bo jak w to zwątpi to okazuje się głupcem.

ZACHĘCAM DO DYSKUSJI nad tymi i innymi argumentami — Paweł Stacewicz.

Zaszufladkowano do kategorii Dydaktyka logiki i filozofii | Otagowano , | 11 komentarzy

Turingowskie modele umysłu

W dniach 22-24 września br. odbędzie się w Białymstoku XI Zjazd Polskiego Towarzystwa Kognitywistycznego, w ramach którego wygłoszę referat pt. „Czy turingowskie modele umysłu są jeszcze interesujące?”.  Już sam tytuł podpowiada, że będzie to temat mocno powiązany z dyskusjami, które wiedliśmy na tym blogu, chociażby z dyskusją nt. „Co to znaczy, że umysł jest maszyną Turinga?”.

Ponieważ do Zjazdu pozostało kilka dni, a ja wciąż pracuję nad tekstem i slajdami, chciałbym poddać pod rozwagę blogowiczów kilka punktów przygotowanego wcześniej streszczenia.
Być może skłonią one kogoś do wstępnej refleksji, która mnie z kolei zainspiruje.
Będę wdzięczny za każde pytanie, dopowiedzenie, uwagę etc…
Dyskusję będziemy mogli kontynuować także po wygłoszeniu przeze mnie referatu.

A oto wspomniany tekst streszczenia.

Czy turingowskie modele umysłu są jeszcze interesujące?

1.  Mianem turingowskiego modelu umysłu (TMU) określam każdy model informatyczny, polegający na przyrównaniu umysłu (a dokładniej: pewnego zbioru struktur i czynności umysłowych) do pewnego systemu informatycznego, który  na odpowiednio niskim poziomie opisu jest równoważny pewnej  maszynie Turinga.

2.  Chociaż koncepcje konkretnych i uniwersalnych maszyn Turinga powstały w 1-ej połowie XX wieku, to po dziś dzień wyznaczają one teoretyczne standardy obliczeń cyfrowych (realizowanych przez zdecydowaną większość współczesnych komputerów). Ich stosunkowo proste założenia pozwalają także określić nieprzekraczalne granice technik cyfrowych (związane z problemami cyfrowo nieobliczalnymi, jak np. problem równań diofantycznych).

3.  Z punktu widzenia kognitywistyki modele TMU wydają się interesujące z dwóch przeciwstawnych powodów.
Po pierwsze, za ich pomocą, to znaczy nie negując żadnej z cech konstytutywnych obliczeń turingowskich, daje się opisywać umysł na różnych poziomach i pod różnymi, wciąż nowymi, względami. Z faktem tym współgra niezwykle bogactwo programów komputerowych (niekiedy modelujących umysł), które są turingowskie w tym sensie, iż daje się je przełożyć na programy uniwersalnej maszyny Turinga.
Po drugie jednak, modele TMU stanowią dobrze określony teoretyczny punkt wyjścia do formułowania modeli alternatywnych, osadzonych w teorii tzw. hiperobliczeń (tj. obliczeń, które z teoretycznego punktu widzenia pozwalają rozwiązywać niektóre problemy nieobliczalne dla maszyn Turinga).

4.  Modele alternatywne względem TMU uzyskuje się poprzez takie poszerzanie modelu turingowskiego, które polega na modyfikowaniu co najmniej jednej z jego kluczowych cech: a) dyskretności (cyfrowości), b) skończoności (skończona liczba operacji wykonywanych w skończonym czasie), oraz b) determinizmu (ściśle określony schemat przetwarzania danych).
Modyfikacja jednej z w/w cech prowadzi odpowiednio do modelu: a’) analogowego, b’) infinitystycznego, c’) niedeterministycznego (modyfikacja większej liczby cech do modeli mieszanych).

5.  Z uwagi na uzasadnione wątpliwości co do praktycznej realizowalności (niektórych) hiperobliczeń, a także wciąż nie rozpoznaną relację między obliczeniami cyfrowymi i hiperobliczeniami (czy te drugie są praktycznie sprowadzalne do tych pierwszych?), modele TMU są wciąż proponowane i analizowane.

Pozdrawiam wszystkich – Paweł Stacewicz.

Zaszufladkowano do kategorii Filozofia informatyki, Filozofia nauki, Światopogląd informatyczny | Otagowano , , | 2 komentarze

O kolonizacji kosmosu przez sztuczną inteligencję

P. Jacek Gładysz w dyskusji zainicjowanej wpisem *Sztuczna inteligencja: Wyzwanie czy zagrożenie” porusza b.ciekawy temat: „czy jesteśmy gotowi na kolonizację kosmosu? W moim odczuciu taki będzie główny długofalowy skutek zaistnienia prawdziwej sztucznej inteligencji.” Jest to trafna obserwacja warta podjęcia.

Żeby ją podjąć ze znajomością rzeczy, trzeba by zapoznać się ze słynnym w tej materii projektem Johna von Neumanna — samoreplikujących się sond kosmicznych —  inteligentnych (na ludzkim poziomie) maszyn badających i kolonizujących wszechświat. Google dostarcza dziesiątki tysięcy haseł na ten temat, a wszedł on nawet do popkultury za sprawą „Odysei” S.Kubricka. Żeby zdobyć w tej sprawie wiadomości, wystarczy w Googlu zadać hasło „sondy von neumanna” lub „von Neumann probes”.

Najbardziej inspirujące i fachowe na ten temat uwagi znalazłem w książce: „The Anthropic Cosmological Principle” Barrowa i Tipplera (gdzieś napisano, że dzięki niej nasza wiedza o życiu i kosmosie „will never be the same after this book”). Jest to odcinek 9.2 „General Theory of Space Exploration and Colonization”.

Przy okazji, będąc „przy głosie”, zwracam się prośbą do uczestników tej dyskusji o informację dot. testu Turinga. Sporo o nim czytałem, ale nigdzie nie napotkałem wiadomości moim zdaniem kluczowej: czy test ten wykrywa zdolność do zadawania pytań? Przecież to najważniejszy sprawdzian inteligencji. Wie prosty belfer, że inteligencję ucznia poznaje się nie tylko po trafności odpowiedzi (do tego wystarczy się wykuć i jako tako rozumować), ale i po twórczej zdolności do stawiania posuwających wiedzę pytań. To niemożliwe żeby ten fakt przeoczyli wybitni specjaliści od testu Turinga, więc widocznie brak mi w tej materii wiedzy. Będę wdzięczny za pomoc.

Zaszufladkowano do kategorii Filozofia informatyki, Światopogląd informatyczny | Otagowano | Dodaj komentarz

Czy człowiek jest maszyną?

Kontynuując dobrą passę dyskusji ze studentami, zamieszczam w blogu intrygujący tekst Pana Jacka Gładysza – studenta matematyki na wydziale MiNI PW – który to tekst, wpisuje się dobrze w klimat ostatniej naszej dyskusji pt. „Turing czy Searle?”.

Tekst Pana Jacka jest na tyle ciekawy (i obszerny!), że zasługuje na osobną dyskusję. A oto jak sam Autor zachęca do dyskusji  nad nim:

****

W roku 1950 Alan Turing zaproponował test, który ma umożliwić uznanie maszyny za równą człowiekowi, ponad 30 lat później John Searle zaprowadził nas do pokoju mającego dowieść, że maszyny nam równe nigdy nie będą.  Czy jednak Turing i Searle faktycznie muszą być postrzegani jako rzecznicy poglądów przeciwnych? Czy proponowane przez nich spojrzenia wykluczają się? Być może warto rozważyć możliwość, że zamknięty w pokoju tłumacz może zdać test Turinga ze znajomości języka chińskiego.

Zastanawiając się nad pytaniami typu „Czy maszyny mogą myśleć?” albo „Czy człowiek jest maszyną?” napotykamy kilka problemów. Jednym z nich jest problem definiowania. Może się okazać, że nasze rozważania będą prowadzić do ślepych uliczek z tak banalnego powodu jak ten, że nie mówimy o tych samych rzeczach. Co to znaczy myśleć? Co nazywamy maszyną?

Proponuję inne podejście do tematu. Wielokrotnie w historii nauki (matematyki w szczególności) okazywało się, że spojrzenie na dane zagadnienie z innej strony prowadzi do wniosków, do których inną drogą nie mogliśmy dojść przez długi czas. Kluczowe w przypadku poszukiwania interesującej nas odpowiedzi może być przeanalizowanie podobieństw między człowiekiem i maszyną.

****

Gorąco zapraszamy do dyskusji nad załączonym tekstem „Czy człowiek jest maszyną?
Jacek Gładysz i Paweł Stacewicz.

Zaszufladkowano do kategorii Dydaktyka logiki i filozofii, Filozofia informatyki, Światopogląd informatyczny | 13 komentarzy

Debata o nieskończoności

Z wielką przyjemnością informuję, że 21 czerwca o godz. 16.30 w sali 206 Gmachu Głównego Politechniki Warszawskiej odbędzie się debata na temat:

◊  Czy zbiory nieskończone istnieją?

Referat i koreferat wygłoszą: prof. dr hab. Marek Kuś (Centrum Fizyki Teoretycznej PAN) i prof. dr hab. Krzysztof Wójtowicz (Zakład Filozofii Nauki UW).

Spotkanie poprowadzą: prof. dr hab. Andrzej Biłat (Zakład Filozofii PW) i prof. dr hab. Zbigniew Król (Zakład Filozofii Nauki, Socjologii i Podstaw Techniki PW).

W imieniu organizatorów serdecznie zapraszam wszystkich zainteresowanych…
Paweł Stacewicz

***************

W ramach przygotowań do debaty polecam kilka dyskusji o nieskończoności, które toczyły się w naszym blogu, a także bardzo ciekawy artykuł przeglądowy Profesora Murawskiego.

Oto i wspomniane materiały:

♦   O nieskończoności zbiorów na chłopski rozum
♦   Horror infiniti
♦   Amor infiniti. Jakie doń prowadzą intuicje filozoficzne?
♦   Nieskończoność w matematyce... (artykuł Romana Murawskiego)

Życzę miłej lektury, a gdyby ktoś chciał podyskutować jeszcze przed rozpoczęciem debaty, to zapraszam do wpisywania komentarzy: albo tutaj, albo w ramach w/w rozmów.

Zaszufladkowano do kategorii Dydaktyka logiki i filozofii, Filozofia nauki, Logika i metodologia | Dodaj komentarz