🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: sci.physics
Article #4784

Anyone have an axiomization of electromagnetism?

#4784
From: Gregory Aharonian
Date: Tue, 06 Oct 1992 12:39
16 lines
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!srctran

Show 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