-
Voting:
-
0
+
Now the amusing claim, I'll make several, ...
— Juris Hartmanis
·
Nov. 14, 1979
·
Permalink
-
Voting:
-
0
+
Even my chalk refuses to write this.
— Juris Hartmanis
·
Nov. 14, 1979
·
Permalink
-
Voting:
-
0
+
Assume you talk Algol-68 for all I care.
— Juris Hartmanis
·
Nov. 12, 1979
·
Permalink
-
Voting:
-
0
+
Assume you behave like a programmer should, and don't believe in Turing Machines.
— Juris Hartmanis
·
Nov. 12, 1979
·
Permalink
-
Voting:
-
0
+
I really can't do it, but I'll do it.
— Juris Hartmanis
·
Nov. 9, 1979
·
Permalink
-
Voting:
-
0
+
I can write quintuples at high speed.
— Juris Hartmanis
·
Nov. 7, 1979
·
Permalink
-
Voting:
-
0
+
Formalize all the hell out of Mathematics.
— Juris Hartmanis
·
Nov. 5, 1979
·
Permalink
-
Voting:
-
0
+
Gerry Salton is going to come back and he's going to ask me what I learned.
— Juris Hartmanis
·
Oct. 13, 1977
·
Permalink
-
Voting:
-
0
+
I could have chosen another proof, but I don't know any other proof.
— Juris Hartmanis
·
May 4, 1977
·
Permalink
-
Voting:
-
0
+
Student: Can you go over that again?
Hartmanis: I hope it's still true.
— Juris Hartmanis
·
Feb. 9, 1977
·
Permalink