-
Voting:
-
0
+
Don't worry about the final grade, you'll get what you want... provided you survive the course.
— Sergei Artemov,
CS 486
·
1998
·
Permalink
-
Voting:
-
0
+
Without improvisation, it's not a lecture.
— Sergei Artemov,
CS 486
·
1998
·
Permalink
-
Voting:
-
0
+
The solar system can figure out whether this is true.
— Sergei Artemov,
CS 486
·
1998
·
Permalink
-
Voting:
-
0
+
It's unknown to us... maybe the almighty LORD knows.
— Sergei Artemov,
CS 486
·
1998
·
Permalink
-
Voting:
-
1
+
This course is about astronomy -- we have to think globally.
— Sergei Artemov,
CS 486
·
1998
·
Permalink
-
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