{{TIN064 Skripta}}
Zavedení produktivních a kreativních množin
Definice
Množina B je produktivní, pokud existuje ČRF taková, že . Funkce se pak nazývá produktivní funkce (pro množinu B).
Množina A je kreativní, pokud je RS a její doplněk je produktivní.
Poznámky:
zde neoznačuje univerzální funkci. (Tato dvojznačnost se ovšem používá i na přednášce a ve skriptech, takže je dobré na to být připraven a rozlišovat: toto nemá index.)
Místo se někdy zkráceně píše . (Ono kdyby se ten znak konvergence vynechal, tak to vyjde asi nastejno — nedefinovaná hodnota nemůže být elementem. Píše se to ale takto také proto, aby se naznačilo, že konvergence není samozřejmá. I když uvidíme za chvíli...)
Nechť B je non-RSM a . Pak víme, že zaručeně existuje nějaké , protože jinak by se rovnalo B. Problém je v tom, jak takové efektivně najít — tedy sestrojit ČRF tak, aby .
Produktivní množina nemůže být RSM (kdyby byla, byla by pro nějaké x sama svou podmnožinou a produktivní funkce by musela vrátit bod nový bod mimo - spor (množinový rozdíl z definice je tady prázdná množina a v té nemůže být žádný prvek).
Proč zkoumáme takhle strašně divnou množinu? Godelova věta, ke které celou dobu směřujeme, vlastně dokazuje, že množina pravdivých výroků v matematické logice je produktivní (nějakým odvozovacím pravidlem nám z různých podmnožin pravdivých výroků vypadává vždy nějaký mimo ně) a tudíž není RSM.
Jako mnemotechnickou pomůcku pro produktivní funkce množiny nabízím toto: produktivní funkce produkuje (jak se dozvíme v důkazu následující věty) nekonečně nových bodů.
Příklady
Vzpomeňme si na množinu . Tato množina je kreativní. * *