Gå til innhold

Har påvist at det finnes oppgaver kunstige intelligenser aldri vil kunne løse


Anbefalte innlegg

Videoannonse
Annonse
"På 1930-tallet viste Turing og andre at det finnes matematiske utsagn som verken kan bevises eller motbevises – det er med andre ord grenser for hva matematikk kan gjøre. " Her burde det stå Kurt Gödel, ikke Turing. Som dere riktig skriver i litt under så reformulerte Turing Gödel's resultat, som handlet om bevisbarhet og utrykkskraft, til å handle om beregnbarhet (altså datamaskiner) istedenfor.
  • Liker 1
  • Innsiktsfullt 1
Lenke til kommentar

Opprett en konto eller logg inn for å kommentere

Du må være et medlem for å kunne skrive en kommentar

Opprett konto

Det er enkelt å melde seg inn for å starte en ny konto!

Start en konto

Logg inn

Har du allerede en konto? Logg inn her.

Logg inn nå
  • Hvem er aktive   0 medlemmer

    • Ingen innloggede medlemmer aktive
×
×
  • Opprett ny...