Greg Egan w swojej powieści „Dark Integers” (opowieść o dwóch wszechświatach z dwiema różnymi matematykami komunikującymi się poprzez dowodzenie twierdzeń o niespójności arytmetycznej) twierdzi, że możliwe jest zbudowanie komputera ogólnego przeznaczenia wyłącznie na istniejących routerach internetowych przy użyciu tylko jego podstawowej funkcjonalności przełączania pakietów (a dokładniej korekty sumy kontrolnej).
Czy to w zasadzie jest możliwe?
Aktualizacja.
Aby uściślić pytanie:
Jakie są absolutnie minimalne zestawy właściwości sieci routerów, aby można było na niej zbudować komputer ogólnego przeznaczenia?