(cons '(4) '(3)) == '(4 3) • ((lambda (x) x) 'quine) == 'quine • (car (cdr '(a b c))) => b • (append '() '(x y)) == '(x y) • quines output their own source code • (cons '(4) '(3)) == '(4 3) • ((lambda (x) x) 'quine) == 'quine • (car (cdr '(a b c))) => b • (append '() '(x y)) == '(x y) • quines output their own source code •
((lambda (x) (x x)) (lambda (x) (x x))) never terminates • Nihilism is more provable but constructivism is the answer • Sometimes a local minimum can be escaped with minimal activation energy • Free will may be illusory, but the experience of choice is not • (omega (lambda (x) (x x))) never returns • ((lambda (x) (x x)) (lambda (x) (x x))) never terminates • Nihilism is more provable but constructivism is the answer • Sometimes a local minimum can be escaped with minimal activation energy • Free will may be illusory, but the experience of choice is not • (omega (lambda (x) (x x))) never returns •