Witaj!
fciu napisał(a): No to dostarcz krytyki mojej propozycji, która z mojej laickiej profesji wydaje się najbardziej naturalna.
Doprecyzuj ją i pokaż explicite, gdzie stosujesz twr. Rice'a tzn. jak wygląda ten podzbiór [latex]\mathbb{N}[/latex], do którego je stosujesz. Wtedy niewykluczone, że będę w stanie się z nią zgodzić lub poproszę o dodatkowe wyjaśnienia.