Ilustrowany przewodnik po twierdzeniu Löba

Czyli obrazkowe wytłumaczenie dlaczego 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.

[r.....l]

Chcę się zajmować tą dziedziną wiedzy, a kurczę, ten tekst jest trochę dla mnie trudny, może coś na rozgrzewkę?

[Lemingus_Vulgaris]

@rocendroll: http://przezajac.com/2012/12/07/logikomiks-komiks-o-logikach-nie-logika-dla-opornych/