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.

#mikroreklama #nauka #logika #sztucznainteligencja #ligamozgow #liganauki #metalogika