From: Jens Doll <jd@cococo.de>
Yesterday I heard that the string theory is out, because several aspects
of it have been disproved. The task seems to lie in unifying the
theories of relativity and quantum to a Grand United Theory. As
physicists work mainly with mathematical modeling, I asked myself how
these two theories could be united automatically by using an inference
engine or something else (Isabelle?) and afterwards be tested if the result
satisfies measured data.
Where could I find a source for reasoning mathematically about physical
phenomena? Does anyone here have a clue for it?
Regards,
Jens
PS: GUT is a German word and means GOOD.
Last updated: Nov 21 2024 at 12:39 UTC