-
Voting:
-
4
+
You guys are Cornell students, come on. I expect this from Harvard students, but not from Cornell students.
— Dexter Kozen,
complaining about grammatical errors in proofs
·
Nov. 13, 2015
·
Permalink
-
Voting:
-
2
+
Let me explain that expression. Let me not explain that expression.
— Dexter Kozen,
using confusing expressions in an algorithm.
·
Nov. 6, 2015
·
Permalink
-
Voting:
-
1
+
Anything's allowed. This is mathematics!
— Dexter Kozen,
explaining why his proofs work.
·
Nov. 2, 2015
·
Permalink
-
Voting:
-
1
+
For 5 we have an n^5 algorithm, but for other values of 5...
— Dexter Kozen,
on the difficulty of the clique problem.
·
Oct. 9, 2015
·
Permalink
-
Voting:
-
1
+
How about Bayes Watch?
— Dexter Kozen,
Response to Alex Niculescu's plea for title suggestions for his untitled B-exam talk on Bayesian networks.
·
June 9, 2008
·
Permalink
-
Voting:
-
2
+
I have to tie my shoe. In rugby, you say "minute, please". Actually you usually say that after you've been punched in the face.
— Dexter Kozen
·
Nov. 7, 2006
·
Permalink
-
Voting:
-
1
+
I have no idea why this does what it does, but I'll write it down and maybe you can tell me.
— Dexter Kozen,
When writing up a formula belonging to Dedekind complete Temporal Logic.
·
April 9, 2003
·
Permalink
-
Voting:
-
0
+
Student: "It doesn't seem like bulldozing since you aren't destroying things. It seems more like stenciling because you are making copies..."
Dexter: "Makin' cop-a's. Have you seen that SNL skit? No? Nevermind."
— Dexter Kozen,
while lecturing about Completeness of Temporal Logic, which includes a technique called "bulldozing".
·
April 9, 2003
·
Permalink
-
Voting:
-
2
+
My notes say this is trivial, so let's stare at it and see why it's trivial... Yeah, it's trivial.
— Dexter Kozen,
Why proving a lemma on quasi-orders, in CS 686.
·
April 2, 2003
·
Permalink
-
Voting:
-
1
+
A computer scientist is a mathematician with a job
— Dexter Kozen,
advice to Alexei Kopylov, circa 2003
·
March 1, 2003
·
Permalink