|
Foredrag
Titel | Kan computere tænke? |
Sted | Bygning 26 - Bibliotek kælderen 26.197 |
Målgruppe | 1G, 2G og 3G |
Ansvarlig | Professor Torben Breuner |
Ansvarligs email | torben@ruc.dk |
Beskrivelse | Tænkende maskiner optræder ofte på film, eksempelvis som Terminator i filmene af samme navn. Men kan maskiner eller computere tænke og
være intelligente i virkeligheden? Og hvad menes der mere præcist med det? Drejer det sig om at tænke fuldstændig som mennesker gør det, eller
er det tilstrækkeligt at simulere menneskelig intelligens?
Siden fremkomsten af moderne elektroniske computere i 1940erne og 1950erne har dette været meget diskuteret. Mange argumenter har været
fremført for og imod. Den engelske matematikprofessor Roger Penrose har givet argumenter for, at computere ikke kan tænke bevidst, som
mennesker gør det. Penroses argument gør brug af et berømt resultat inden for matematisk logik, som kaldes Gödels ufuldstændighedssætning (fra
1931, opkaldt efter den østrigske logiker Kurt Gödel).
Gödels ufuldstændighedssætning er relaterede til det såkaldte standse-problems uafgørlighed, der i 1936 blev publiceret af matematikeren og
logikeren Alan Turing. Gödels og Turings resultater siger groft set, at matematik ikke fuldt ud kan mekaniseres og implementeres i en computer.
Penroses argumentet har givet anledning til en heftig debat indenfor den gren af datalogien, der kaldes kunstig intelligens. Her har nogle forskere
som mål at konstruere computere, der kan tænke ligesom mennesker.
I foredraget vil jeg give den historiske og filosofiske baggrund for diskussionen om, hvorvidt computere kan tænke. Jeg vil også komme ind på
nogle af de argumenter, som har været fremført for og imod - herunder Penroses argument.
|
Du skal være logget ind for at tilmelde dig arrangementet |