Wersja z 09:53, 28 cze 2019 edytuj Tarnoob (dyskusja \| edycje) Redaktorzy 86 503 edycje m →‎Sformalizowane twierdzenie Rice’a: kat. ← poprzednia edycja		Aktualna wersja na dzień 14:14, 31 mar 2020 edytuj anuluj edycję Beno (dyskusja \| edycje) Redaktorzy, Administratorzy interfejsu, Administratorzy 133 021 edycji m WP:SK+Bn
Linia 3: == Sformalizowane twierdzenie Rice’a == Niech <math>{\mathbb A}</math> będzie rodziną funkcji n-argumentowych przy <math>n\geqslant 1</math> taką, że: : <math>\emptyset\neq\mathbb{A}\neq R^{(n)}\ .</math>▼ ▲<math>\emptyset\neq\mathbb{A}\neq R^{(n)}\ </math> Wówczas zbiór: : <math>A=\{x\in N:\{x\}^{(n)}\in\mathbb{A}\}</math>▼ nie jest [[zbiór rekurencyjny\|zbiorem rekurencyjnym]].▼ ▲<math>A=\{x\in N:\{x\}^{(n)}\in\mathbb{A}\}</math> ▲nie jest [[zbiór rekurencyjny\|zbiorem rekurencyjnym]] [[Kategoria:Teoria obliczeń]]

Twierdzenie Rice’a: Różnice pomiędzy wersjami