-
Voting:
-
0
+
We are able to remove logic completely.
— Bob Constable
·
Oct. 13, 1980
·
Permalink
-
Voting:
-
1
+
Let's do a pictorial proof again.
— Bob Constable
·
April 16, 1980
·
Permalink
-
Voting:
-
10
+
Nothing makes sense in the last five minutes.
— Bob Constable
·
April 7, 1980
·
Permalink
-
Voting:
-
1
+
"To be or not to be" is not an algorithm.
— Bob Constable
·
Feb. 27, 1980
·
Permalink
-
Voting:
-
0
+
Sometimes the empty set causes me pause.
— Bob Constable
·
Feb. 18, 1980
·
Permalink
-
Voting:
-
0
+
I don't think I've ever written a RAM program.
— Bob Constable
·
Feb. 13, 1980
·
Permalink
-
Voting:
-
0
+
Truth and computation are identical.
— Bob Constable
·
Feb. 8, 1980
·
Permalink
-
Voting:
-
0
+
It has the same status as in classical math. You can worry about it.
— Bob Constable,
On the Axiom of Choice in constructive mathematics
·
Feb. 8, 1980
·
Permalink
-
Voting:
-
0
+
We want to lift ourselves out of the primitive recursive muck.
— Bob Constable
·
Jan. 30, 1980
·
Permalink
-
Voting:
-
0
+
This wealth of knowledge will get us confused.
— Bob Constable
·
Jan. 28, 1980
·
Permalink