Recent Quotes
-
Voting:
-
0
+
It's a very good book... only 39.95 plus shipping and handling.
— Sergei Artemov,
CS 486
·
1998
·
Permalink
-
Voting:
-
0
+
We would be notationally challenged if we consider that case.
— Sergei Artemov,
CS 486
·
1998
·
Permalink
-
Voting:
-
0
+
Oops... I just love the letter A, so I wrote something that is not a tautology.
— Sergei Artemov,
CS 486
·
1998
·
Permalink
-
Voting:
-
0
+
It requires a lot of creativity, we don't like this.
— Sergei Artemov,
referring to the Hilbert proof system
·
1998
·
Permalink
-
Voting:
-
0
+
Deriving in the Hilbert system is kind of stupid.
— Sergei Artemov,
CS 486
·
1998
·
Permalink
-
Voting:
-
0
+
You forced me to put something in writing...
— Sergei Artemov,
CS 486
·
1998
·
Permalink
-
Voting:
-
0
+
I've run out of ammunition... captured in action.
— Sergei Artemov,
referring to running out of chalk during lecture
·
1998
·
Permalink
-
Voting:
-
0
+
There are much more efficient algorithms.
— Sergei Artemov,
CS 486
·
1998
·
Permalink
-
Voting:
-
0
+
It's a very nice program, it does nothing but converge.
— Sergei Artemov,
about the identity function
·
1998
·
Permalink
-
Voting:
-
0
+
It's better to learn nothing than to understand nothing.
— Sergei Artemov,
CS 486
·
1998
·
Permalink
-
Voting:
-
0
+
Cancellation error is like when go to your butcher, asking for two pounds of salami, and he weighs it in a canoe.
— Stephen Vavasis,
CS 222
·
1998
·
Permalink
-
Voting:
-
0
+
The ocean is just a differential equation.
— Stephen Vavasis,
CS 222
·
1998
·
Permalink