Czekając bez końca

Jak obiecaliśmy, tak robimy: dziś kolejny tekst o braku komunikatu traktowanym jako komunikat. Tym razem mowa będzie o teorii obliczalności, która jest dziedziną matematyki. To istotne zastrzeżenie, bo terminologia i sposób opisu poniżej mogą sugerować, że chodzi o informatykę. Tymczasem to, o czym opowiem, to twierdzenia matematyczne, które niewątpliwie należą do teorii informatyki, ale na […]