-
Voting:
-
1
+
This report is about as impenetrable as its title.
— Jim Donahue,
On "Admissibility of Fixed Point Inductions in First Order Logic of Typed Theories," by S. Igarashi
·
May 6, 1979
·
Permalink
-
Voting:
-
1
+
There are infinitely many bottoms around.
— Jim Donahue
·
May 1, 1979
·
Permalink
-
Voting:
-
0
+
This is probably the most influential paper in semantics that's never been published.
— Jim Donahue
·
May 1, 1979
·
Permalink
-
Voting:
-
0
+
It's got plus and times and all that other neat stuff.
— Jim Donahue
·
April 24, 1979
·
Permalink
-
Voting:
-
0
+
I would like to say we've proven such a theorem for Russell, but Alan's been awfully slow about it.
— Jim Donahue
·
April 17, 1979
·
Permalink
-
Voting:
-
1
+
If you spend a lot of time building up the mathematics of the model, by the time you're done, you're tired.
— Jim Donahue
·
March 3, 1979
·
Permalink
-
Voting:
-
0
+
You can easily show that any space you can imagine is buried within D-infinity somewhere.
— Jim Donahue
·
Feb. 27, 1979
·
Permalink
-
Voting:
-
1
+
I'll call this phi and psi again just to be confusing.
— Jim Donahue
·
Feb. 27, 1979
·
Permalink
-
Voting:
-
1
+
It turns out that restricting yourself to continuous functions is no great act of heroism.
— Jim Donahue
·
Feb. 8, 1979
·
Permalink
-
Voting:
-
0
+
Why am I using complete lattices? Well, it's what I was brought up on.
— Jim Donahue
·
Feb. 6, 1979
·
Permalink