Senest ændret Church-Turings tese: ændret af Torben Ægidius Mogensen (KU) for 4 måneder siden beregnelighed: ændret af Thomas Bille (lex.dk) for 4 måneder siden beregnelighed: ændret af Torben Ægidius Mogensen (KU) for 4 måneder siden lambdakalkyle: ændret af Torben Ægidius Mogensen (KU) for 4 måneder siden Se al aktivitet