Philosophy of Computer Science

Vad är egentligen datavetenskap?<br> Vad är egentligen en algoritm? Kan vi vara säkra på att ett program är korrekt? Och finns det gränser för vad en dator överhuvudtaget kan beräkna?<br> Kursen Datavetenskapens filosofi vänder sig till dig som är nyfiken på de idéer och frågor som ligger bakom datorer, programmering och artificiell intelligens. Du behöver inte vara filosof eller programmerare – det viktigaste är ett intresse för datavetenskap och vilken roll den spelar i samhället.<br> Under kursen utforskar vi datavetenskapens historiska och filosofiska grunder. Vi diskuterar begrepp som algoritmer, program, specifikationer och implementationer, och undersöker centrala idéer som Turings analys och Church–Turing-tesen. Vi frågar också vad det innebär att ett program är ”korrekt” och jämför testning med formell verifiering.<br> Kursen tar dessutom upp aktuella frågor kring artificiell intelligens, kognition, algoritmiskt beslutsfattande och ansvar. Kan en maskin tänka? Vad kan vi egentligen veta om en AI:s beslut? Och vem bär ansvaret när AI och algoritmer påverkar människors liv?<br> Genom föreläsningar och seminarier får du möjlighet att diskutera spännande frågor i mötet mellan datavetenskap, filosofi och samhälle.