Skip to main content
Conference Proceedings

Unification of theories: A challenge for computing science

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1996) 1130 49-57
DOI: 10.1007/3-540-61629-2_35
8Citations
Citations of this article
7Readers
Mendeley users who have this article in their library.
Get full text

Abstract

Unification of theories is the long-standing goal of the natural sciences; and modern physics offers a spectacular paradigm of its achievement. The structure of modern mathematics has also been determined by its great unifying theories - topology, algebra and the like. The same ideals and goals are shared by researchers and students of theoretical computing science.

Cite

CITATION STYLE

APA

Hoare, T. (1996). Unification of theories: A challenge for computing science. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1130, pp. 49–57). Springer Verlag. https://doi.org/10.1007/3-540-61629-2_35

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free