Re: [isabelle] G.U.T.



Hello Johannes,

how about systematically generating axioms and theorems, which satisfy
physical phenomena, and having Isabelle verify them?

Was it possible? Would we need faster machines?

Jens







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