FWD (SK) Re: Cosmology Question [fringe theories]

From: Terry W. Colvin (fortean1@mindspring.com)
Date: Wed Feb 26 2003 - 10:28:54 MST

  • Next message: Amara Graps: "FWD (SK) Re: Cosmology Question [fringe theories]"

    Terry W. Colvin forwarded, from Amara:
    >BTW: news to me that a model is not a theory...
    >I wonder what I've been doing the last n years!

    Strictly speaking, a model is a set of assignments that is consistent with
    a theory under some semantics.

    For example, the theory:

    a=>~b
    b=>~a

    (where => is implication and ~ is negation)

    has two models

    {a, ~b} and
    {b, ~a}

    There are many ways of specifying models but, roughly speaking, the idea is
    that the model is an instance of the theory -- e.g. increased resistance to
    antibiotics in bacteria may be a model of evolution theory.

    Best,
    Ludi

    Ludwig Krippahl

    -- 
    Terry W. Colvin, Sierra Vista, Arizona (USA) < fortean1@mindspring.com >
         Alternate: < fortean1@msn.com >
    Home Page: < http://www.geocities.com/Area51/Stargate/8958/index.html >
    Sites: * Fortean Times * Mystic's Haven * TLCB *
          U.S. Message Text Formatting (USMTF) Program
    ------------
    Member: Thailand-Laos-Cambodia Brotherhood (TLCB) Mailing List
       TLCB Web Site: < http://www.tlc-brotherhood.org >[Vietnam veterans,
    Allies, CIA/NSA, and "steenkeen" contractors are welcome.]
    


    This archive was generated by hypermail 2.1.5 : Wed Feb 26 2003 - 10:31:00 MST