Postova veta

[Tuetschek]

Ahoj,
mohl byste mi nekdo trochu osvitit dukaz Postovy vety (Strojil v.11)? Neformalne to vypada relativne jasne, ale formalne je to trochu divne ... kde si tam napiskam ten predikat

Kód: Vybrat vše

(x in M & y =1)v(x in doplnek M & y = 0)

a proc v nem figuruje "y"?

[twoflower]

Tak kdyz si predstavis, co dela selektor na tomhle predikatu, tak pro x \in M ti vybere 1, pro x \in doplnek M ti vybere 0, coz je to, co chces po charakteristicke funkci.

[Tuetschek]

Diky ... a je zarucene, ze je ORF, tedy definovany vsude? Aby ta mnozina byla rekurzivni, tak by mel, ale nevidim proc .

[bajeluk]

No, ja bych rek, ze "definovany vsude" se mysli jenom pro promennou x, a to asi bude, kdyz se uvazuje jak uvnitr M, tak mimo ni, ne? Nebo aspon kde jinde by jeste moh/la bejt nedefinovanej/a? I kdyz v tomhle predmetu clovek nikdy nevi...

[Tuetschek]

No, ja bych rek, ze "definovany vsude" se mysli jenom pro promennou x, a to asi bude, kdyz se uvazuje jak uvnitr M, tak mimo ni, ne? Nebo aspon kde jinde by jeste moh/la bejt nedefinovanej/a? I kdyz v tomhle predmetu clovek nikdy nevi...

Jo, to zni logicky . Diky .