Search for tag: "halts"

Thumbnail for entry cos326-2020-11-02-uncomputability

cos326-2020-11-02-uncomputability

duration 18 minutes 13 seconds

cos326-2020-11-02-uncomputability

cos326-2020-11-02-uncomputability

cos326-2020-11-02-uncomputability

Uncomputability: What We Can't Compute

cos326
function
lambda
rep
expression
calculus
halts
syntax
wrap
tree
functions
turing
ocaml
machine
models
computation
dot
interpreter
e2
e1
proof
From  Daniel Macleod 0 likes 110 plays
Date
August 16th, 2020
Speaker
Andrew Appel
Department
COS
Location
Princeton NJ