.pl .en .de .ru
Interdyscyplinarny blog badawczy pracowników Instytutu Językoznawstwa i Pracowni Systemów Informacyjnych UAM

Nadzczłowiek w służbie kapitalizmu

Marcin Pigulak

Trudno nie oprzeć się wrażeniu, że współczesny konsument kultury popularnej (zwłaszcza, jeżeli można mu przypisać wachlarz zainteresowań właściwy nerdom lub geekom) jest człowiekiem przynajmniej w podstawowym stopniu obeznanym z medium komiksu. Te liczące sobie ponad sto lat sekwencyjne historie obrazkowe, traktowane początkowo (razem z tzw. pulp fiction) jako jeden z najbardziej trywialnych i błahych elementów kultury, na przestrzeni ostatnich lat przejęły, wraz z przeniknięciem do scenariuszy wielkich studiów filmowych, funkcję koła zamachowego współczesnego Hollywood. Jeżeli dodamy do tego liczne seriale, powstające na licencji Marvel Comics lub DC Comics, gry komputerowe oraz wszelkiej maści gadżety… Krótko mówiąc, superbohater superbohatera pogania.

07/06

Ilustrowany przewodnik po twierdzeniu Löba

Łukasz Borchmann

Twierdzenia Löba stanowi, że jeśli maszyna löbowska (np. arytmetyka Peano) może dowieść, że jeśli P jest możliwe do dowiedzenia, to P jest prawdą, to P jest w jej ramach możliwe do dowiedzenia. Tak więc, na przykład, dowód na to, że jeśli w arytmetyce Peano da się dowieść hipotezy Goldbacha, to jest ona prawdziwa byłby dowodem na to, że hipoteza Goldbacha jest prawdziwa.

03/31