- To: cl-isabelle-users at lists.cam.ac.uk
- Subject: [isabelle] G.U.T.
- From: Jens Doll <jd at cococo.de>
- Date: Wed, 06 Oct 2010 08:03:21 +0200
- User-agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; de; rv:188.8.131.52) Gecko/20100824 Lightning/1.0b1 Thunderbird/3.0.7
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?
PS: GUT is a German word and means GOOD.
This archive was generated by a fusion of
Pipermail (Mailman edition) and