Archiwum kategorii: Logika i metodologia

Siła algorytmów?

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 | 5 komentarzy

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

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 | 1 komentarz

Prawdziwość a niesprzeczność

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