Diagonalisierungsargument. |
17.07.2013, 17:54 | Auf diesen Beitrag antworten » |
1=0! | Diagonalisierungsargument. Hallo, Sie f eine 1-universelle Funktion für F(REK). Dann kann man g definieren durch g(x)=f(x,x)+1 falls f(x,x) definiert und g(x)=0 sonst. Nun gilt offensichtlich g(e)=f(e,e)+1>f(e,e) , was ein Widerspruch zur Universalität ist und somit g nicht rekursiv sein kann. Bis hier hin ist es mir klar. Jetzt wird hierraus aber auch gefolgert dass {x:f(x,x) definiert} nicht rekursiv ist. Warum sollte das gelten? mfg 1=0! |
|
|
22.07.2013, 21:07 | Auf diesen Beitrag antworten » |
margin | Kannst du uns den Begriff Universalität bzw. n-universell näher erklären? Von den Begriffen habe ich noch nie was gehört. |
|