[FOM] Question about theoretical physics

[Walt Read]

Physical theory is hard enough but invoking "professors of
mathematics" turns it in another direction. Before we can ask whether
a physical theory is consistent in a mathematical sense, we have to
ask whether it's a theory in the mathematical (formal) sense. If so,
what is the language? First order, second order, restricted second
order? Have we agreed on symbols, wffs, rules of inference? Do we have
effective axioms? If we're going to discuss specific values of special
constants, it should include some theory (elementary?) of the reals.
Of the integers? (At least for quantum theories?) Since the usual use
of a physics theory is to compute values of real-valued functions,
presumably a theory of such functions and such computation should be
included in the physics theory. Of course, in principle this could all
be done and the consistency question approached, if not necessarily
answered, but I don't think this kind of formal theory is what
physicists have in mind when they talk about a theory of, e.g., QED.

-Walt

On Fri, Jun 28, 2013 at 10:47 AM, Lukasz T. Stepien
<sfstepie at cyf-kr.edu.pl> wrote:
> I have read this very interesting discussion about fine structure
> constant, QED etc., on FOM, in February and March, but just now I have a
> leisure to join the discussion.
>
>  Namely, I have a remark that as far as fine structure constant is
> concerned, a theory, explaining the value of this constant, i.e. what is
> the nature of the electric charge of electron, was constructed by Andrzej
> Staruszkiewicz (Marian Smoluchowski Institute of Physics,  Jagiellonian
> University, Krakow, Poland).
>
> I give here the references to several his papers, devoted his theory:
>
> 1. Ann. Phys. (N.Y.) 190, 354 (1989).
> 2. Acta Phys. Pol. B 26 (7), 1275 (1995).
> 3. BANACH CENTER PUBLICATIONS, VOLUME 41, 257 (1997), INSTITUTE OF
> MATHEMATICS POLISH ACADEMY OF SCIENCES, WARSZAWA 1997.
> 4. Tr. J. of Physics 23, 847 - 849 (1999) - also published in "New
> Developments of Quantum Field Theory", NATO Science Series: B: Vol. 366,
> 179 (2002), Editors:  Poul Henrik Damgaard and Jerzy Jurkiewicz, Plenum
> Press, New York.
> 5. Acta Phys. Pol. B 33(8), 2041 (2002).
> 6. Found. Phys., 32 (12), 1863 (2002).
>
>
>  This my remark refers somewhat also to a question of Jay Sulzberger,
> cit. "Is there a consistent theory of QED, consistent to the usual
> standard of professors of mathematics?".
>
>
>                                         Łukasz T. Stępień
> --
> Lukasz T. Stepien
>
> The Pedagogical University of Cracow
> Chair of Computer Science and Computational Methods,
> ul. Podchorazych 2
> 30-084 Krakow
> Poland
>
> tel. +48 12 662-78-54, +48 12 662-78-44
>
> URL  http://www.ltstepien.up.krakow.pl
>
>
>
>
>  On 1 March 2013, 10:38 pm, Fr, Arnold Neumaier wrote:
>> On 03/01/2013 07:22 AM, Joe Shipman wrote:
>>> My concern is simpler than this. I just want to know where there exists
> a computer program which takes as inputs the fine-structure constant and
>>> a desired output precision and returns a prediction of the magnetic
> moment of the electron to the requested precision, whether or not the
> program has good convergence properties.
>> No. There is no program where you could specify a desired accuracy in
> advance. Quantum field theory is too difficult a subject to allow that at
> the present time.
>> Nobody has written any code for getting higher than alpha^6
>> approximations for QED (and far less for other quantum field theories),
> and even the alpha^6 term is currently incomplete  (and gives a result of
> unknown accuracy), as for tractability only the contributions deemed most
> relevant are included.
>>> I want a pointer to a reference work
>> The pointers that exist (and are given in my FAQ entry mentioned before)
> point to far less, but point to what is common practice in reporting high
> precision physics calculations.
>> Arnold
>> _______________________________________________
>> FOM mailing list
>> FOM at cs.nyu.edu
>> http://www.cs.nyu.edu/mailman/listinfo/fom
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom