Recent Quotes
-
Voting:
-
3
+
There is no accessible paper on type theory. I'm partially responsible, I've written three papers.
— Bob Constable
·
May 8, 1984
·
Permalink
-
Voting:
-
1
+
Is there any rigorous definition of a Mandelbrot set or is it as undefined as Mandelbrot himself? Doesn't he look a lot like a Mandelbrot set?
— Juris Hartmanis
·
April 12, 1984
·
Permalink
-
Voting:
-
0
+
Do you suppose a sonnet in any other enumeration would sound as sweet?
— John Gilbert,
On the Goedel numbering in Shakespeare's sonnets
·
March 24, 1984
·
Permalink
-
Voting:
-
1
+
I've always been afraid that if I address something "To Whom it May Concern," it won't concern anyone.
— Sue Manning
·
Dec. 2, 1983
·
Permalink
-
Voting:
-
0
+
Pavel's jokes are slightly better than yours [Demers'] because you can't tell ahead of time that he's thinking them up.
— Sue Manning
·
Nov. 5, 1983
·
Permalink
-
Voting:
-
0
+
Since this is a better talk than one on concurrent programming, we'll allow time for 3 or 4 questions.
— Gerry Salton
·
Nov. 3, 1983
·
Permalink
-
Voting:
-
0
+
San-ford? It's one of thoes two-year community colleges.
— Charlie Fischer
·
Oct. 20, 1983
·
Permalink
-
Voting:
-
0
+
I know of no other logic in which one can say such complete and utter nonsense.
— Bob Constable
·
Oct. 3, 1983
·
Permalink
-
Voting:
-
0
+
I don't know the answer to this question, but I'm 90 percent sure of the answer, and the answer is "yes and no."
— Tom Coleman
·
Sept. 9, 1983
·
Permalink
-
Voting:
-
0
+
3-4 lines, and 5 pages, that's roughly exponential.
— Juris Hartmanis,
On the space needed to state and then prove a theorem
·
Sept. 8, 1983
·
Permalink
-
Voting:
-
2
+
What will Constable teach this year? Well we know what he will teach, we just don't know what course number he will teach it under.
— Juris Hartmanis
·
Sept. 1, 1983
·
Permalink
-
Voting:
-
1
+
These proofs probably aren't correct. I 've never proved anything with probability one.
— Juris Hartmanis
·
Aug. 9, 1983
·
Permalink