Re: Military time (whoops!)

[David Auerbach auerbach@xxxxxxxx]

Off-topic, my patootie (sp?). Well, off the topic of military time. 
But Gödel's work (along with Emil Post's, Alan Turing's and Alonzo
Church's) formed the basis of the abstract theory of computability,
long before full-fledged general purpose computers were invented. And
it is on those actual computers, realizations of, say, Turing
computers, that XyWrite runs. What could be more relevant. Sheeesh.
On Jun 20, at 5:26 PM, Harry Binswanger wrote:
David wrote,
Re Cantor's proof: are you referring to (but not mentioning!)
diagonalization?

Yep. (Although that's not the only proof, the general method Cantor
used has gained the honorific "diagonalization". In latter guises,
it re-emerges (Patricia, do I need a hyphen there?) as various fixed
point theorems.

When I read, years ago, the diagonalization thing, I had an
objection to it, but when I went back over it, still some years
ago, I couldn't remember it. It was perhaps the kind of "crank"
objection you refer to, having to do with what I thought was an
illicit or equivocal use of " . . . "

Boy, are we off-topic, big time.


Harry Binswanger
hb@xxxxxxxx


David Auerbach
Department of Philosophy & Religion
Box 8103	
Raleigh, NC 27695-8103                  http://
slowfoodusa.org
auerbach@xxxxxxxx                  http://
slowfoodtriangle.org