Kommentar fra Herman Ruge Jervell ¡­

Kommentar fra Herman Ruge Jervell om forelesningene i uke 5 og 6:

Vi kan betrakte en datamaskin som en syntaksmaskin. Den bruker en syntaktisk beskrivelse av en del av virkeligheten og regner p? den. Dette kan v?re problematisk av mange grunner. Som bakgrunn se BBC-dokumentaren "Dangerous knowledge" (tilgjengelig bl.a. via google video ), spesielt delen om Turing og G?del.

I IT-SLP tar vi opp slike problemer - ofte under overskriften "Logikk". For bakgrunn her se p? Wikipedia-artikkelen om logikk. Siden Factasia logic kan ogs? v?re interessant.

Jeg skal i to dobbelttimer gi dere en smakebit av dette. Jeg vil lage en serie med overheads over stoffet, men dere b?r f?lge med i forelesningene for ? f? det hele med.