Search results

...on are listed below. Refer to the individual recipients for more detailed information on their achievements. ...is fifteen years of publications extend from theoretical articles on graph theory to basic manuals, expository texts, and philosophical contemplations in the

...s our story right up to the present time frame, as mathematical [[category theory]], a formalism that many mathematicians regard as the natural language of c ...tury is characterized by a predominant interest in [[formal logic]], [[set theory]], and foundational issues.

...attributed the paradox to "vicious circularity" and built up an elaborate theory of ramified types to deal with it. In this system, they were eventually abl This theory sees mathematics primarily as a social construct, as a product of culture,

...questions of ''style'', that is, the sort of description, ''grammar'', or theory that one finds available or chooses as preferable for a given language. Th ...sic character that it can be conveyed by computational data structures, so algorithmic in its uses that it can be automated by routine mechanisms, and so fixed in

that is, to what extent is inquiry algorithmic? of inquiry as a dynamic process of theory change.

...In the current phase of investigation I am taking a standpoint in systems theory, working to extend its concepts and methods to cover increasingly interesti ...work of the past few years I have sought to apply the framework of systems theory to the problems of AI. I believe that viewing intelligent systems as dynam

What information is critical in deciding whether my exercise of the method is an analytic and computational theory of interpreters and

to the mathematical subject of "group theory", and demonstrate its the information indicated by the elementary relatives (i:j), as