Vaidyanathaswami R.. Inaugural address. The mathematics student, vol. 6 (1938), pp. 33–42.

account of number of in the foundations of comparing formalism, intuitionism. In several espe the proof of Godel's theorem, the extreme brevity This is a short introduction, for the lay reader, to mathematical logic and its appli cability to the problems of the sciences. After graphically contrasting the non-numerical with the numerical branches of mathematics, Quine compares some of the more important concepts of the logic of propositions and of relations with corresponding notions in numeri cal algebra. The paper concludes with a brief discussion of the applicability of mathe matical logic to problems of technology, and as evidence of its present employment therein he reports on the use of the statement calculus in solving problems in electrical engineering at The Massachusetts Institute of Technology, and in formulating and proving the con sistency of contracts by a large insurance company.