Article View: sci.physics
Article #4784Anyone have an axiomization of electromagnetism?
From: Gregory Aharonian
Date: Tue, 06 Oct 1992 12:39
Date: Tue, 06 Oct 1992 12:39
16 lines
882 bytes
882 bytes
Does anyone know of any articles that explore the issue of providing
a predicate logic axiomization of electromagnetism, or any similar simple
aspect of non-relativistic physics?
Any email responses to srctran@world.std.com will be appreciated.
Thanks,
Greg Aharonian
Source Translation & Optimization
srctran@world.std.com
--
**************************************************************************
Greg Aharonian
Source Translation & Optimiztion
P.O. Box 404, Belmont, MA 02178
Technical Details
Message-ID:
<Bvp9tC.Itv@world.std.com>Path:
arc1-ca.pugleaf.net!sparky!uunet!ogicse!decwrl!world!srctranShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!ogicse!decwrl!world!srctran From: srctran@world.std.com (Gregory Aharonian) Newsgroups: sci.physics,sci.logic Subject: Anyone have an axiomization of electromagnetism? Message-ID: <Bvp9tC.Itv@world.std.com> Date: 6 Oct 92 12:39:11 GMT Article-I.D.: world.Bvp9tC.Itv Organization: The World Public Access UNIX, Brookline, MA Lines: 16