Archiwum kategorii: Światopogląd informatyczny

Optymizm poznawczy „Mathesis Universalis”
a nowoczesne badania nad rozstrzygalnością

Opublikowano 21 kwietnia 2012, autor: Witold Marciszewski

Optymizm poznawczy nowoczesnego racjonalizmu ma za swój kanon wypowiedź Gödla (1936) dotyczącą dowodzenia twierdzeń matematycznych w sposób formalny czyli algorytmiczny: Istnieją zdanie niedowodliwe środkami logiki pierwszego rzędu, które stają się dowodliwe w logice drugiego rzędu, a ich dowody są znacząco … Czytaj dalej →

Zaszufladkowano do kategorii Światopogląd informatyczny | Dodaj komentarz

Co matematyka może wnieść do filozofii

Opublikowano 16 kwietnia 2012, autor: Witold Marciszewski

Podejmuję wątek poruszony w komentarzu Mietusa (do wpisu dra Stacewicza), w jego zapytaniu o stosunek naszej matematyki do tej, która „zbiega się gdzieś w nieskończoności”. Należało to do głównych tematów rozmyślań Gödla. Słowo „nieskończoność” jest tu trafnie zastosowane, bo z … Czytaj dalej → Czytaj dalej →

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

Jakie pytania rodzi Monadologia Leibniza?

Opublikowano 4 kwietnia 2012, autor: Witold Marciszewski

[stextbox id=”CafeAleph”]  Glossa do Wariacji na temat Monadologii Leibniza.[/stextbox] Filozofom zawdzięczamy czasem to, że odpowiadają na  nasze pytania,  a kiedy indziej coś zupełnie innego: uświadamiają ważne pytania  które nam samym nie przyszły do głowy.  Monadologia nasuwa pytanie, czy istotnie materia … Czytaj dalej →

Zaszufladkowano do kategorii Filozofia informatyki, Światopogląd informatyczny | 4 komentarze

Głos dyplomowanego humanisty w sprawie nauczania matematyki

Opublikowano 29 marca 2012, autor: Witold Marciszewski

Jest to wpis do komentowania i dyskusji (w ramce poniżej), który ze względu na format zapisu  (PDF) znajduje się w witrynie Cafe Aleph.

Zaszufladkowano do kategorii Światopogląd informatyczny | 5 komentarzy

Wolny rynek jako system przetwarzania informacji

Opublikowano 29 lutego 2012, autor: Witold Marciszewski

[stextbox id=”CafeAleph”]Pełny tekst na ten temat – w Czytelni „Cafe Aleph”.[/stextbox] Artykuł pod tym tytułem jest rozszerzoną wersją odczytu wygłoszonego w roku 2005, na jednej z konferencji metodologicznych  organizowanych w UJ przez prof.  Michała Hellera.  Jest to więc data sprzed … Czytaj dalej →

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

Problem złożoności obliczeniowej świata w dowodzie istnienia Boga w „De Arte Combinatoria”

Opublikowano 23 lutego 2012, autor: Witold Marciszewski

Zapraszam do komentowania artykułu pod tym tytułem.    

Zaszufladkowano do kategorii Światopogląd informatyczny | 2 komentarze

„Mathesis Universalis” na nasze czasy

Opublikowano 23 lutego 2012, autor: Witold Marciszewski

Artykuł pod tym tytułem jest pomyślany do dyskusji łącznie z tekstem pt.  ,,Gödlowski racjonalizm informatyczny na tle projektu Mathesis Universalis”, będącym tamtego artykułu kontynuacją. Określenie „racjonalizm informatyczny” charakteryzuje oryginalne, właściwe  Gödlowi, rozpatrywanie zdolności rozumu, w szczególności intuicji matematycznej, przez  ich … Czytaj dalej →

Zaszufladkowano do kategorii Światopogląd informatyczny | Dodaj komentarz

Problem stopu na przykładzie pewnego zastosowania drzew semantycznych

Opublikowano 20 lutego 2012, autor: Witold Marciszewski

W „Cyberiadzie” Lem czynił  satyryczne wycieczki  pod adresem robotów.  Maszyny wyprodukowane przez któregoś z genialnych konstruktorów, Trurla lub Klapaucjusza, okazywały się czasem żenująco nieporadne, inne zaś irytująco złośliwe.  O  nieporadność można czasem podejrzewać niektóre maszyny Turinga. Zajmijmy się maszyną AT, … Czytaj dalej →

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

Co to znaczy, że umysł jest maszyną Turinga? (część III)

Opublikowano 16 lutego 2012, autor: Paweł Stacewicz

Wyrażona jednym zdaniem konkluzja drugiej części wpisu brzmi następująco: „Przyrównując umysł do maszyny Turinga, ma się na myśli hipotezę, że poznawcza moc umysłu, a więc zakres rozwiązywalnych przezeń problemów, pokrywa się z mocą obliczeniową komputerów cyfrowych, które pod względem tejże … Czytaj dalej →

Zaszufladkowano do kategorii Filozofia informatyki, Światopogląd informatyczny | 7 komentarzy

Co to znaczy, że umysł jest maszyną Turinga? (część II)

Opublikowano 5 lutego 2012, autor: Paweł Stacewicz

Część drugą planowanej serii wpisów o maszynie Turinga rozpocznę od krótkiego streszczenia części pierwszej, która traktowała o samych maszynach Turinga, a także o związku tychże automatów z komputerami cyfrowymi. Oto najważniejsze stwierdzenia z odcinka poprzedniego. 1) Maszyna Turinga (MT) jest … Czytaj dalej →

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