Filosofie van de Informatica

TENTAMEN: dinsdag 5 juli: 13.30-16.30: Educ-Beta
(beperkt open boek:: WEL: Ladyman en artikelen, NIET: slides colleges, NIET: geannoteerde copieen)

Stof: (ONDER VOORBEHOUD)
artikel Encyc. Britt. p. 594-600 (tot "Church's theorem: logical systems without decision procedures")
slides colleges van John-Jules Meyer
boek Ladyman
slides colleges van Richard Starmans
artikelen downloadable van deze site

UITSLAG TOETS

De uitslag van de toets vind je hier.

FACULTATIEVE) TOETS op 26 mei, 11 - 13 uur (tijdens college-uren) in BBL 061

(beperkt open boek: WEL: Ladyman, artikel Starmans en Encyc. Britt. artikel, NIET: slides colleges)

Stof:

artikel Encyc. Britt. p. 594-600 (tot "Church's theorem: logical systems without decision procedures")
slides colleges 1 t/m 3 van John-Jules Meyer
Ladyman hoofdstukken 1 en 2
slides colleges 1 t/m 3 van Richard Starmans
R. Starmans, In het voetspoor van Alan Turing

Docenten

John Jules Meyer

Richard Starmans

Werkcollege

Jan Broersen

Inhoudsbeschrijving

Het college beslaat ruwweg drie onderdelen: Het eerste deel handelt over de `klassieke' filosofie van de empirische wetenschappen. Hierbij komen onder meer de geschiedenis van de kenleer, het logisch positivisme, Poppers kritisch rationalisme, de empirische cyclus, Kuhns paradigmatheorie en Lakatos' falsificationisme aan de orde. Deel twee van het college behandelt elementen van de filosofie van de formele wetenschappen, de wiskunde en de logica, voor zover relevant voor de informatica, met aandacht voor paradoxen en stromingen. Verder wordt er aandacht besteed aan het begrip berekenbaarheid. In het laatste deel, tenslotte, worden speciale filosofisch getinte onderwerpen met betrekking tot de informatica en de kunstmatige intelligentie besproken.

Literatuur

Verplichte literatuur:

Ladyman, J. (2002) Understanding Philosophy of Science ; Routledge London and New York

Leesmateriaal Filosofie van de Informatica : dit materiaal is beschikbaar op de website.

Sheets van de hoorcolleges

Het leesmateriaal betreft de volgende artikelen:

R. Starmans, In het voetspoor van Alan Turing; naar een filosofie van de informatica, Filosofie 20 (3), mei/juni 2010.
The Foundations of Mathematics, Uit: The New Encyclopaedia Britannica (NB. Van dit vrij moelijke artikel is p 594-600 (tot "Church's theorem: logica systems without decision procedures") leerstof, de rest leesstof)
A.K. Dewdney, The Turing Omnibus , Ch 5: Gödel's Theorem - Limits on Logic, pp.29 - 35
A.K. Dewdney, The Turing Omnibus, Ch 28: Turing Machines - The Simplest Computers, pp 186 - 193
A.K. Dewdney, The Turing Omnibus, Ch 36: Non Computable Functions - The Busy Beaver Problem, pp 241 - 319
A.K. Dewdney, The Turing Omnibus, Ch 48: Universal Turing machines - Computers as Programs, pp 314 - 319
A.K. Dewdney, The Turing Omnibus, Ch 55: The Halting Problem - The Uncomputable, pp 360 - 364
A.K. Dewdney, The Turing Omnibus, Ch 60: Church's Thesis - All Computers Are Created Equal, pp 389 - 396
T.C. Moody, Philosophy and AI, Ch. 4: The Turing Test
J.R. Searle, Minds, Brains, and Programs
P. Hayes & K. Ford, Turing Test Considered Harmful
Hout, W. en H. Pellikaan, Leren van onderzoek, 1995, Boom, Amsterdam. Hieruit: hoofdstuk 2, “Het onderzoeksproces en methodologische problemen in de sociale wetenschappen”, blz 16 t/m 35 (alleen leesstof).

Op dit moment is het volgende materiaal downloadable:

Slides

Beoordeling

Het tentamencijfer wordt bepaald door: de uitslag van de schriftelijke toets en het schriftelijk tentamen (onderlinge verhouding 1 : 3). De toets/tentamen-combinatie moet voldoende (minstens 5.6) zijn. Toets is facultatief; werkt alleen ten voordele. Verder is er nog een aanvullende toets (‘hertentamen’) (alleen!) voor studenten die al eerder iets (toets of tentamen) hebben gedaan! (Tenzij er sprake is van een uitzonderlijke situatie, zoals ziekte e.d. In dat geval dient overleg plaats te vinden met de docenten.)

Belangrijke data

TOETS- EN TENTAMENRESULTATEN

Nvt

Laatst bijgewerkt: 28-04-11

Filosofie van de Informatica

TENTAMEN: dinsdag 5 juli: 13.30-16.30: Educ-Beta

UITSLAG TOETS