Recent Quotes
-
Voting:
-
0
+
If this doesn't return soon, you will only have been a promising graduate student.
— Fred Schneider,
Loaning a student a CD-ROM.
·
Aug. 20, 2003
·
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
-
Voting:
-
0
+
Now I invoke the fundamental theorem of calculus; I didn't make that up, that's a real theorem from freshman days.
— Charlie Van Loan,
While presenting an intentionally flawed proof of the Wielandt-Hoffman Theorem.
·
Jan. 30, 2003
·
Permalink
-
Voting:
-
0
+
In LaTeX, when you are the second reference, a dagger shows up... so it looks like you died.
— Dexter Kozen
·
2001
·
Permalink
-
Voting:
-
0
+
I've got to get out of this habit of defining things in terms of things I haven't defined yet.
— Dexter Kozen,
CS 686
·
2001
·
Permalink
-
Voting:
-
2
+
Why is it that any time I mention anything remotely connected to the lambda calculus everyone starts smirking?
— Dexter Kozen
·
2001
·
Permalink
-
Voting:
-
0
+
Demonic is Moore's Law... actually it's Murphy's Law.
— Dexter Kozen,
in a discussion about angelic operations
·
2001
·
Permalink
-
Voting:
-
1
+
The sun blows up... that seems to me as something that doesn't happen in a normal program.
— Dexter Kozen,
CS 686
·
2001
·
Permalink
-
Voting:
-
1
+
If everyone's happy with that, we'll call it a proof modulo all the cases we left out.
— Dexter Kozen,
CS 686
·
2001
·
Permalink