refined Axiom Information, explanation, recent texts, monographs, and related patents.
Information & explanations, latest texts & monographs on Axiom (including recent related patents.)


Axiom

The word axiom comes from the Greek word αξιωμα (axioma), which means that which is deemed worthy or fit or that which is considered self-evident. The word comes from αξιοειν (axioein), meaning to deem worthy, which in turn comes from αξιος (axios), meaning worthy. Among the philosophers of the ancient Greeks an axiom was a claim which could be seen to be true without any need for proof. In epistemology, an axiom is a self-evident truth upon which other knowledge must rest, from which other knowledge is built up. To say the least, not all epistemologists agree that axioms, understood in that sense, exist. As the word axiom is understood in mathematics, an axiom is not a proposition that is self-evident. Rather, it simply means a starting point in a logical system. For example, in some rings, the operation of multiplication is commutative, and in some it is not; those rings in which it is are said to satisfy the "axiom of commutativity of multiplication." Another name for an axiom is postulate. An axiom is an elementary basis for a formal logic system that together with the rules of inference define a logic. For instance, (misquoting Peano) simple arithmetic including addition can be defined and many theorems proven by assuming
  • a number called 0 exists
  • every number X has a successor called inc(X)
  • X+0 = X
  • inc(X) + Y = X + inc(Y)
  • Using these axioms, and defining the customary short names 1, 2, 3, and so on for inc(0), inc(inc(0)), inc(inc(inc(0))) respectively, we can show that: inc(X) = X + 1 and 1 + 2 = 1 + inc(1) Expansion of abbreviation (2 = inc(1)) 1 + 2 = inc(1) + 1 Axiom 4 1 + 2 = 2 + 1 Abbreviation (2 = inc(1)) 1 + 2 = 2 + inc(0) Expansion of abbreviation (1 = inc(0)) 1 + 2 = inc(2) + 0 Axiom 4 1 + 2 = 3 Axiom 3 and Use of abbreviation (inc(2) = 3) Any fact that we can derive from the axioms is not needed as an axiom. Anything that we cannot derive from the axioms and for which we also cannot derive the negation might reasonably be added as an axiom. Probably the most famous very early set of axiom are the 4+1 postulates of Euclid. These turn out to be fairly incomplete, actually, and many more postulates are necessary to completely characterize his geometry (Hilbert used 23). I say 4+1 since the 5th postulate (through a point outside a line there is exactly one parallel) was suspected to be derivable from the first 4 for nearly two millennia. Ultimately, the fifth postulate was found to be independent of the first four. Indeed, one can assume that no parallels through a point outside a line exist, that exactly one exists, or that infinitely many exist. These choices give us alternative forms of geometry in which the interior angles of a triangle add up to less than, exactly or more than a straight line respectively and are known as elliptic, Euclidean and hyperbolic geometries. The general theory of relativity is essentially a claim that mass gives space hyperbolic geometry. The fact that alternative forms of geometry might exist was very troubling to mathematicians of the 19th century and in similar developments, say Boolean algebra, there were generally elaborate efforts taken to derive the system from normal arithmetic systems. Galois showed just before his untimely death that these efforts were largely wasted but that the grand parallels between axiomatic systems could be put to good use as he algebraicly solved many classical geometrical problems. Ultimately, the abstract parallels between algebraic systems were seen to be more important than the details and modern algebra was born. In the twentieth century, Gödel's incompleteness theorem showed that no explicit (i.e. recursive) set of axioms sufficiently large for ordinary mathematics could be both (1) complete (i.e. every statement can be either proved or disproved) and (2) consistent (i.e. no statement can be both proved and disproved). See also: External links

    This article is adapted from from Wikipedia All Wikipedia article text is available under the terms of the GNU Free Documentation License

    Armey's Axioms: 40 Hard-Earned Truths from Politics, Faith, and Life by Dick Armey

    The Zurich Axioms by Max Gunther

    Ten-Tronck's Celebrity Directory 2004-2005 (Celebrity Directory, 2004-2005) by Axiom Information Resources

    Millionaire Directory: The Ultimate Guide to Identify and Contact Thousands of Millionaires from All the Fields of Endeavor (Millionaire Directory, 2) by Axiom Information Resources

    Ten-Tronck's 2004-05 Star Guide (Star Guide, 2004-2005) by Axiom Information Resources

    Bond Market Rules: 50 Investing Axioms To Master Bonds for Income or Trading by Michael D. Sheimo

    The Complete Book of Zingers by Croft M. Pentz

    Reflections for the Effective Nonprofit Volunteer : Quotes, axioms and observations to help you serve our important institutions by Jim Norvell

    Energy Dynamics: Conscious Human Evolution: Axioms and Resources for Personal Growth, Balance, and the Evolution of Your Body's Energy Systems by Mark Greenia

    Venture Capitalists & Angel Investors Directory: The Ultimate Guide to Locate V by Axiom Information Resources

    Culturegrams 2004: World Edition (Culturegrams: World Edition, 2004) by Axiom Press

    Ten-Tronck's 2002-03 Star Guide (Star Guide, 2002/2003) by Axiom Information Resources

    The axioms of religion by Herschel H. Hobbs

    Freyds Models for the Independence of the Axiom of Choice (Memoirs of the American Mathematical Society, 404) by Andreas Blass

    Axiom: The Scientific Computation System by Richard D. Jenks


    Recent Axiom related patents

    From USPTO:
    6708160: Object nets
    6707914: System and method for encrypting information within a communications network
    6701936: Cigarette with smoke constituent attenuator
    6698012: Method and system for testing behavior of procedures
    6697961: Method and system for describing predicates in disjuncts in procedures for test coverage estimation
    6696544: Method for making polyamides
    6694286: Method and system for monitoring the condition of an individual machine
    6691133: Entertainment project workforce search system network
    6687108: Passive electrostatic shielding structure for electrical circuitry and energy conditioning with outer partial shielded energy pathways
    6682438: Mechanical golf ball feed apparatus
    6681304: Method and device for providing hidden storage in non-volatile memory
    6673908: Tumor necrosis factor receptor 2
    6672969: Mechanical golf ball feed apparatus
    6651222: Automatic design of VLIW processors
    6651049: Interactive mining of most interesting rules
    6651048: Interactive mining of most interesting rules with population constraints
    6644099: Shaped charge tubing cutter performance test apparatus and method
    6640231: Ontology for database design and application development
    6638481: Plug flow cytometry for high throughput screening and drug discovery
    6634928: Fluid jet cutting method and apparatus
    6633114: Mass spectrometer with electron source for reducing space charge effects in sample beam
    6622128: Internet-based attorney-client billing system
    6607481: Method and system for an improved entry process of an emergency medical dispatch system
    6598477: Method of evaluating logs to predict warp propensity of lumber sawn from the logs
    6587195: Method and apparatus for sealing an optical window in a spectroscopic measuring device
    6585296: Tube sealing assembly
    6584470: Multi-layered semiotic mechanism for answering natural language questions using document retrieval combined with information extraction
    6581187: Automatic design of VLIW processors
    6580595: PREDETERMINED SYMMETRICALLY BALANCED AMALGAM WITH COMPLEMENTARY PAIRED PORTIONS COMPRISING SHIELDING ELECTRODES AND SHIELDED ELECTRODES AND OTHER PREDETERMINED ELEMENT PORTIONS FOR SYMMETRICALLY BALANCED AND COMPLEMENTARY ENERGY PORTION CONDITIONING
    6572382: Paper preparation supporting method
    6568940: Equestrian training method
    6563992: Small diameter diffuse reflectance probe
    6562312: Process for controlling the passivation of aluminum chloride formed in the chlorination of titanium-containing ores
    6558916: Cell flow apparatus and method for real-time measurements of patient cellular responses
    6556978: Satisfiability algorithms and finite quantification
    6552221: Process control for acetic acid manufacture
    6544502: Skin treatment with a water soluble antibiotic dissolved in an electrolyzed water
    6543493: Optical monitoring processes and apparatus for combined liquid level sensing and quality control
    6526375: Self-configuring store-and-forward computer network
    6522408: Procedure for the controlled production or modification of polymeric products by means of IR-ATR spectroscopy
    6502301: Manufacturing plant and system for manufacturing rigid bodies
    6500075: Golf training system for teaching target aim and swing path alignment
    6498795: Method and apparatus for active information discovery and retrieval
    6496812: Method and system for measuring and valuing contributions by group members to the achievement of a group goal
    6477511: Method and postal apparatus with a chip card write/read unit for reloading change data by chip card
    6470680: Manifold alternator generator
    6467929: Apparatus for attaching or mounting a laser diode module
    6464011: Production well telemetry system and method
    6457173: Automatic design of VLIW instruction formats

    Bibliographic Resources
    Updates and comments at Essential Facts blog
    Are you interested in Feng Shui?
    Price Theory Resources
    Fructose, Sucrose, Glucose Core Bibliography
    World Class Photographers
    Some philosophical movements
    Top PDF and eBook Downloads
    ©2004, All applicable rights reserved.