Archiwum kategorii: Logika i metodologia

Siła algorytmów?

Opublikowano 4 kwietnia 2015, autor: Paweł Stacewicz

Obecny wpis utworzyłem z intencją wywołania dyskusji wśród studentów PW (głównie informatyków i elektroników) na temat siły i ograniczeń algorytmów. Do rozmowy zapraszam oczywiście inne osoby, również stałych bywalców blogu. Zachęcam wstępnie do przeczytania krótkiego tekstu o algorytmach, który oświetli … Czytaj dalej →

Zaszufladkowano do kategorii Bez kategorii, Dydaktyka logiki i filozofii, Filozofia informatyki, Logika i metodologia, Światopogląd informatyczny | 6 komentarzy

Odejście Profesora Mariana Przełęckiego
9 sierpnia 2013

Opublikowano 20 sierpnia 2013, autor: Witold Marciszewski

Intencją tego wpisu jest utworzenie jakby notatnika, w którym można by – w formie komentarzy – dzielić się wspomnieniami czy refleksjami na temat postaci i dorobku Mariana Przełęckiego.  Zacznijmy od następującego komunikatu PTLiFN. Z głębokim smutkiem żegnamy Mariana Przełęckiego – … Czytaj dalej →

Zaszufladkowano do kategorii Etyka, Filozofia nauki, Logika i metodologia | Jeden komentarz

Prawdziwość a niesprzeczność

Opublikowano 20 kwietnia 2012, autor: Witold Marciszewski

W dyskusji nad referatem p. Tomasza Jordana „O nieporozumieniach związanych z twierdzeniem Gödla”  (Seminarium logiczne w UKSW, 20.IV.2012) — której uczestnicy byli zgodni co do tego, że przekonanie o niesprzeczności arytmetyki pierwszego rzędu jest dobrze umotywowane faktem nie pojawienia się … Czytaj dalej →

Zaszufladkowano do kategorii Logika i metodologia | Dodaj komentarz