Wednesday, October 27, 2004

Metatheory

The most notable example of a metatheory was provided by David Hilbert, a German mathematician, who in 1905 set out to construct an elementary proof of the consistency of mathematics. For this purpose he needed a theory that studies

0 Comments:

Post a Comment

<< Home