[isabelle] G.U.T.



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.






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.