User talk:

From Wikipedia, the free encyclopedia
Jump to: navigation, search

Re: sha-512 hash on your user page[edit]

Fixed, I think. Thanks for informing me about the problem. Graham87 03:47, 6 March 2010 (UTC)

Yes, much better, thanks. (talk) 03:57, 6 March 2010 (UTC)


It's me, Hootmag. Thank you for your response. You've said that I gave an axiomatic definition of an even fraction, then described a structure (the set of (even,odd) integer pairs) that interprets the definition. Note that I'm interested in the uniqueness of the definiendum. Must every structure, which interprets a given definition, give a unique definiendum?

You have also said that constructive type theory that might also reach towards what I might be getting. In what aspects do you find a connection between my question and constructive type theory? Is it regarding the extensional (computational) identity? or regarding the devision of the axiomatic definition into sub-definitions? Could you please add more details? Tnak you in advance. Hootmag.

I guess I don't understand this unique definiendum and sub-definition stuff. Definiendum is not a mathematical term and I hadn't even seen the word before (I looked it up though). The type theory connection is that you can express a logical predicate as a type, and then use the Curry-Howard correspondence to associate pairs of integers with elements of the type through a constructive proof that shows that you actually end up with a value that satisfies the predicate. I've gotten interested in this subject (type theory) and am trying to learn about it, but I'm afraid I don't yet understand it well enough to give a better explanation. (talk) 07:34, 28 March 2010 (UTC)


It's too bad you don't have one.  :/ I'd vote for you to be an admin. Thank you for your eyes.— dαlus Contribs 09:09, 10 April 2010 (UTC)

 ;-) (talk) 09:13, 10 April 2010 (UTC)

Wikipedia justice wp.png The Newyorkbrad Dispute Resolution Barnstar
I don't care if you didn't solve the dispute. Those were some mighty fine words. — dαlus Contribs 09:12, 10 April 2010 (UTC)

I was just admiring your comments to User:Hogwash eliminator. Well said. CordeliaNaismith (talk) 05:39, 11 April 2010 (UTC)

Heh, thanks. (talk) 03:00, 12 April 2010 (UTC)

Courtesy note[edit]

You are receiving this message because an RFC has been initiated at Talk:John J. Pershing#RFC about a matter on which you may have commented in the past. Thank you, –xenotalk 15:50, 27 April 2010 (UTC)