-
Voting:
-
0
+
Do I have to tell you what a category is? I'm gonna tell you what a category is.
— Dexter Kozen,
Kleene Algebra Lecture, introducing adjunctions
·
Feb. 15, 2024
·
Permalink
-
Voting:
-
0
+
Didn't know I could write upside down, did you?
— Dexter Kozen,
while delivering a lecture on the Dinic Algorithm
·
Oct. 27, 2020
·
Permalink
-
Voting:
-
0
+
You will be an instant millionaire... I think that was meaningful back when a million dollars meant something, I'm not sure it does anymore.
— Dexter Kozen,
on the consequences of solving the P=NP problem
·
Oct. 19, 2020
·
Permalink
-
Voting:
-
5
+
I'm not dead yet!
— Dexter Kozen,
after almost losing in an in class demo of 2048
·
Oct. 18, 2018
·
Permalink
-
Voting:
-
9
+
It's not about the points
— Dexter Kozen,
on Piazza
·
Oct. 1, 2017
·
Permalink
-
Voting:
-
1
+
You can't cut the wood without sharpening a saw.
— Dexter Kozen,
explaining why he had given a brief overview of probability spaces and Lebesgue integrals in a programming languages seminar talk.
·
Oct. 19, 2016
·
Permalink
-
Voting:
-
5
+
My favorite pastime is trolling Scott Aaronson.
— Dexter Kozen,
Talking about crank emails
·
Sept. 21, 2016
·
Permalink
-
Voting:
-
5
+
Group loops -- are those a mathematician's cereal?
— Dexter Kozen,
On his breakfast
·
Sept. 21, 2016
·
Permalink
-
Voting:
-
17
+
I was a mushroom once.
— Dexter Kozen
·
June 17, 2016
·
Permalink
-
Voting:
-
1
+
I wanted to throw out that word just to show you that I know it.
— Dexter Kozen
·
Nov. 13, 2015
·
Permalink