Computere har revolutioneret vores hverdag, som ingen anden teknologi har gjort det. Vi bruger i dag computere til at løse alle mulige former for beregningsopgaver, lige fra søgning efter information, til udvikling af sygdomsresistente planter, til at sende e-mails til hinanden og til fremstilling af nye typer medicin.
Udefra kan det måske se ud til at computere kan løse alle de beregningsproblemer, vi ønsker at løse. Desværre er det langt fra tilfældet. I dette foredrag dykker vi ned i Alan Turings verden og ser på computerens begrænsninger. På fascinerende vis eksisterer der en hel familie af vigtige beregningsproblemer, som ingen endnu ved, hvordan man får en computer til at løse.
Det interessante er, at lykkedes det at løse bare ét af disse problemer, ja så får man automatisk en løsning til alle problemerne. Det vil i praksis have enorme økonomiske og samfundsmæssige implikationer. Alle former for transport ville kunne planlægges optimalt, så mennesker og varer flyttes hurtigere og billigere. Vi ville blive bedre til at forudsige vejret, bedre til at lave billedgenkendelse på computere, og der ville ikke være brug for matematikforskere, da alle matematiske sætninger ville kunne bevises hurtigt og effektivt af en computer.
Forelæsningen var 2 timer inklusiv pause, opgaveløsning og spørgsmålsrunder.
Afholdt d. 11. februar 2022
Målgruppe:
Foredraget retter sig primært mod elever og lærere i matematik, information, programmering og lignende.
Forberedelse forud for forelæsningen
I løbet af forelæsningen vil eleverne blive stillet nogle opgaver. Herunder findes opgaverne, løsningerne og en instruktion til lærerne: