Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] G.U.T.


view this post on Zulip 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: Nov 21 2024 at 12:39 UTC