Re: sha-512 hash on your user page
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. 126.96.36.199 (talk) 07:34, 28 March 2010 (UTC)
|The Newyorkbrad Dispute Resolution Barnstar|
|I don't care if you didn't solve the dispute. Those were some mighty fine words. — Dædαlus Contribs 09:12, 10 April 2010 (UTC)|
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)
This is the discussion page for an IP user, identified by the user's IP address. Many IP addresses change periodically, and are often shared by several users. If you are an IP user, you may create an account or log in to avoid future confusion with other IP users. Registering also hides your IP address.