Raymond M. Smullyan: Theory of Formal Systems. Princeton University Press, Princeton, N. J. 1961. 142 s. Pris: $ 3.00.

Når denne bog nævnes under anmeldelser er det mindre for selve vurderingens skyld, end det er for at gøre opmærksom på det for økonomer relevante arbejde af helt abstrakt natur, der finder sted i matematikernes cirkler.

En række studier fra Princeton-serien har senere givet sig udslag i praktiske anvendelser indenfor erhvervslivet. Det drejer sig for eksempel om spil-modeller, matematiske programmeringsmodeller og automationsmodeller. Selv om disse til at begynde med blev publiceret i et for de fleste økonomer uforståeligt sprog og for de fleste praktiske fænomener som alt for abstrakte modeller, er der dog grund til at pege på den betydning, disse ting har fået, når de er blevet transformeret ned til det anvendte plan.

Savidt nservaerende iagttager kan se star man overfor en analog situation her ved Smullyan's doktorafhandling om formelle systemers teori, selv om der her er flere ting, der direkte kan ga ind i erhervsekonomisk forskning. Som eksempel kan neevnes hans diskussion af den leksikografiske ordning, der er direkte anvendelig pa malsaetningsproblemer.

Det man nu venter på, er transformeringen
af dele af dette værk til operationelle
mikro-økonomiske modeiler.