ABSTRACT

Traditionally, the various branches of science have been regarded as separate disciplines (evolving at different rates, as is evidenced by the more rapid advances in mathematics compared with those in physics); today there is a growing tendency to try and find links be­ tween them. The ever closer connection between logic and mathe­ matics is an example of this trend.