Re: multiplicative group question

From: David Wagner (daw_at_taverner.cs.berkeley.edu)
Date: 07/03/05


Date: Sun, 3 Jul 2005 21:09:06 +0000 (UTC)

Kristian Gjøsteen wrote:
>Isn't the following a trivial example? Hom(Z_n*,Z_n*) is a ring, [..]

How do you represent elements of Hom(Z_n*,Z_n*) efficiently?
I don't see any way other than simply listing the truth table
of the mapping -- which is not a polynomial-size representation.



Relevant Pages

  • Re: Terse Response to [Outline of a Theory of Truth by Saul Kripke 1975]
    ... I think that the universal set would contain a conception of itself, which is one level of indirection away from actually containing itself, thus avoiding the paradox. ... And since your notion of "truth" only requires that a function exist, then "truth" is satisfied merely by having C be a subset of T. ... Think about the notion of truth for a while and see that in every instance a mapping exists. ... in T. So what does it map to? ...
    (sci.lang)
  • Re: Terse Response to [Outline of a Theory of Truth by Saul Kripke 1975]
    ... And since your notion of "truth" only requires that a function exist, then "truth" is satisfied merely by having C be a subset of T. ... algorithm so that anyone following the algorithm, under the same initial conditions, will get exactly the same result. ... It would not really have output per say since it is a mapping from a model of the world to the actual world itself. ... If the sentence in C is true, then it is supposed to map to something in T. So what does it map to? ...
    (sci.lang)
  • Re: Terse Response to [Outline of a Theory of Truth by Saul Kripke 1975]
    ... If C really is a subset of T, then there exists a function that maps C into T: ... And since your notion of "truth" only requires that a function exist, then "truth" is satisfied merely by having C be a subset of T. ... Think about the notion of truth for a while and see that in every instance a mapping exists. ... depending how you end up analyzing the semantics of existential "be" and the two auxiliary "be"s. ...
    (sci.lang)
  • Re: Hypothesis: Paradox of self-reference such as the Halting Problem is an error of reasoning (
    ... How is the term mathematical mapping typically formalized? ... to speak of truth in languages without relations. ...
    (sci.logic)
  • Re: Epistemology ( justified true belief is shown to be erroneous)
    ... "truth' is the name of a certain mapping. ... The corresponding things in the world would be pure conceptions pure physical sensations conceptions about sensations. ... If I point to a white cat in the physical world, and state that [this is a black dog], then the abstraction within the *model of the world* does not correspond to the actuality in the *world itself*. ...
    (sci.lang)