W końcówce filmu "Niebieski" Kieślowskiego zaintrygowała mnie przejmująca muzyka Zbigniewa Preisnera  – chór wykonywał jakąś pieśń po grecku .

A gdyby tak zacząć zupełnie inaczej budować komputery. Co to znaczy inaczej? Bez żadnych bitów, bez bajtów, ale za to z informacją przekazywaną przy pomocy takich parametrów, które mogą się zmieniać w sposób ciągły. Jest to pomysł inny od obecnie obowiązującego paradygmatu, ale wcale nie nowy.

W dyskusjach na temat pojęcia prawdy często pojawia się zdanie Alfreda Tarskiego: "Snow is white" is true if and only if snow is white. Czyli: (zdanie) "Śnieg jest biały" jest prawdziwe wtedy i tylko wtedy, jeżeli: (rzeczywisty) śnieg jest biały.

Więc znowu mamy Boże Narodzenie. Jeszcze trwają chwile radości, ale już zaczyna nadchodzić moment dramatu. Oto z jednej strony trzej królowie śpieszą, aby złożyć hołd Dzieciątku Jezus, z drugiej strony król Herod zbiera żołnierzy, którzy mają dokonać masakry niewinnych dzieci.

W oddali, przez mgłę, widzę uśmiech Zofii. Czy gotowa jest mi odkryć swe tajemnice, czy jedynie mnie zwodzi? Nie wiem. Jest jednak coś w jej uśmiechu, co każe mi za nim iść. A gdy zniknie za rogiem, podbiegam i szukam jej. Pomiędzy spokojnie żyjącymi, Bogu ducha winnymi ludźmi...

Jednym z klasycznych argumentów na wyższość ludzkiego myślenia nad czynnościami komputera jest problem stopu. Wyobraźmy sobie sytuację programisty używającego codziennie języka C. Tworząc coraz to nowe programy, chciałby mieć gwarancję ich poprawności przynajmniej na minimalnym poziomie...

Jednym z tematów tego cyklu będzie problem, jaka jest relacja między człowiekiem, a maszyną, czy maszyna potrafi myśleć tak jak my, czy maszyny zastąpią nas i wyprzedzą w tworzeniu nauki - czyli relacja między inteligencją maturalną, a sztuczną.

Kiedy staram się przekonać partnera w rozmowie, że rozumiem jego argumenty mówię zwykle: "tak, wiem co to znaczy". Ale co może znaczyć słowo "znaczenie"? Oczywiste skojarzenie wiąże to pojęcie ze znakami. Klasyczna analiza filozoficzna rozróżnia dwa rodzaje znaków: znaki instrumentalne oraz znaki formalne.

W poprzednim felietonie zapowiedziałem odsłonięcie pewnych podstaw mojego rozumowania. Ponieważ próbują one ogarnąć więcej, niż może być aktualnie poznane, idą z konieczności na skróty i są cokolwiek spekulatywne. Dlaczego istnieje raczej coś, niż nic? Dlaczego istnieje życie, do tego życie rozumne?

Jerry Fodor, przedstawiciel kierunku filozoficznego zwanego komputacjonalizmem (nie wiem, jak strawniej przełożyć angielskie słowo computationalism ), opierając się na przemyśleniach Alana Turinga stwierdza, że racjonalne procesy myślowe polegają na zgodnym z prawami logiki...

"Taka jest prawda, nieprawda i innej prawdy nie ma" - to fragment wiersza Stanisława Barańczaka (cytat z pamięci). Dzisiaj zacznijmy od przykładu. Piszę takie oto zdanie: liście na drzewie są zielone. Skoro formułuję taką wypowiedź, to znaczy że wiem co to są liście i co to jest zieleń.

Czy informatykę można pogodzić z przypadkiem? Mogłoby się wydawać, że jest to zagadnienie źle postawione. Gdy konstruujemy system informatyczny chodzi o zbudowanie niezawodnie działającego mechanizmu, który zawsze w tych samych okolicznościach daje te same rezultaty.

Rozpoczęliśmy nasze rozważania o myśleniu od maszyn, zakładając milcząco, że jest ono naszą - ludzi - niepodważalną domeną. Dalej, widząc że jeden z tropów prowadzi w kierunku pojęcia "rozumienie", zastanawialiśmy się nad jego znaczeniem. Wreszcie rozpatrywaliśmy...

Dzisiaj sfałszowałem e-maila. Treść napisałem sam, ale wpisałem podpis i adres zwrotny mojej żony. Tak naprawdę nic złego się nie stało, bo wysłanie tego listu uzgodniłem wcześniej z Agnieszką (to właśnie moja żona). Fakt jednak pozostaje faktem - odbiorca wspomnianego listu był przekonany...

W poprzednim felietonie pisałem o tym, że ze zwierzętami, przynajmniej z tzw. wyższymi, łączy nas subiektywne odczuwanie wrażeń zmysłowych i posiadanie uczuć, takich jak strach, ból, ale i radość. Nie będę tu rozpatrywał, jak daleko sięga ten zakres wrażeń w świecie zwierzęcym...

"Kiedy biegam, to jestem biegaczem, kiedy fruwam, to jestem fruwaczem, kiedy się boję, to jestem baczem, a tak w ogóle to jestem Gżdaczem!"

W wakacje postanowiłem rozpocząć poważnym tematem. Otóż, istnieją równania różniczkowe, których współczynniki dają się wyliczyć przez komputer, których warunki początkowe są także obliczalne przez komputery, ale ich rozwiązania przekraczają możliwości obliczeniowe współczesnych maszyn liczących.

Teoria względności, to nic nowego. Ponieważ jednak może nie wszyscy są z nią na bieżąco, a pewne jej wyniki są mi potrzebne w dalszych rozważaniach, pozwolę sobie na drobną powtórkę. Nawiasem mówiąc ciekawe jest, że mniej więcej sto lat temu, prawie równocześnie ze “współczesną fizyką”...

Wyobraźmy sobie (za Arystotelesem) następującą historię. Znajdujemy się w pięknej nadmorskiej scenerii i spoglądamy z brzegu na lazurową wodę jednej z zatok Morza Śródziemnego. Właśnie zapada zmierzch, w ostatnich promieniach zachodzącego słońca możemy dostrzec...

Jak wspomniałem we wprowadzeniu, do mam nadzieję cyklu felietonów, natchnieniem do pisania był dla mnie kontakt ze studentami. Po ostatnim egzaminie z handlu elektronicznego, który przeprowadzałem w grupie studentów - poprawkowiczów zastanawiałem się...

W poprzednim artykule wprowadziłem podstawowe pojęcia szczególnej teorii względności. Obecnie mam zamiar zabrać się za fizykę kwantową. Temat jest o tyle trudniejszy, że nie ma powszechnie przyjętej interpretacji wyników doświadczalnych, a wyniki te są naprawdę zaskakujące.