Email Gateway (Aug 18 2022 at 16:16): Email Gateway (Aug 18 2022 at 16:16):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: Apr 20 2024 at 12:26 UTC