Discuţie:Inteligenţă artificială

De la Wikipedia, enciclopedia liberă

[modifică] Teorema lui Gödel

aici se da traducerea teoremei incompletitudinii a lui Gödel: “Orice sistem suficient de consistent nu poate dovedi propria consistenţă”.

in Wikipedia germana de la http://de.wikipedia.org/wiki/G%C3%B6delscher_Unvollst%C3%A4ndigkeitssatz la capitolul "Gödels Satz" putem insa citi, "Jedes hinreichend mächtige formale System ist entweder widersprüchlich oder unvollständig." care se traduce "Toate sistemele formale, chiar atunci cand sunt în general destul de consistente, sunt totuşi ori contradictorii, ori incomplete". O altă formulare, echivalentă: "Nu exista nici un sistem formal care sa fie şi complet, şi consistent."

propun deci schimbarea traducerii prezente, e cineva impotriva??? Nea Niţă - 16 apr 2006

da, traducerea lui Nea Niţă este corectă.--Arado 17 aprilie 2006 00:32 (EEST)