-
Voting:
-
0
+
One reason that concept is peculiar is that in mathematics one always deals with extensional objects, and thus never discusses them, while in computer science one rarely deals with extensional objects, and thus never discusses them.
— Bob Constable
·
Feb. 23, 1979
·
Permalink
-
Voting:
-
0
+
We are experimenting with constructive set theory, and so may go wrong.
— Bob Constable
·
Feb. 9, 1979
·
Permalink
-
Voting:
-
0
+
What's going to be amazing is that next time, I'll be able to prove - that itself will be amazing - ...
— Bob Constable
·
May 31, 1978
·
Permalink
-
Voting:
-
0
+
Student: Number 6 doesn't make sense to me.
Constable: Well, let's write it out bigger.
— Bob Constable
·
May 27, 1978
·
Permalink
-
Voting:
-
1
+
This syntactic sugar is looking terrible - syntactic pepper.
— Bob Constable
·
April 25, 1978
·
Permalink
-
Voting:
-
0
+
Let me back up to where I believed it.
— Bob Constable
·
April 23, 1978
·
Permalink
-
Voting:
-
0
+
Stanford gobbled up the really good women.
— Bob Constable
·
March 11, 1978
·
Permalink
-
Voting:
-
0
+
... a really kinky semantics that would support the slickest proof rules.
— Bob Constable
·
Feb. 22, 1978
·
Permalink
-
Voting:
-
0
+
Now we only have ten minutes left for hard science. But that's probably enough.
— Bob Constable
·
Feb. 17, 1978
·
Permalink
-
Voting:
-
2
+
Let me change the theorem to one I can actually prove.
— Bob Constable
·
May 28, 1977
·
Permalink