Theoretical Computer Science
Topics covered: theoretical computer science, including computability theory, computational complexity theory, algorithms, algorithmic information theory, information theory and formal verification.
Read more about this topic: List Of Important Publications In Computer Science
Famous quotes containing the words theoretical, computer and/or science:
“The desire to serve the common good must without fail be a requisite of the soul, a necessity for personal happiness; if it issues not from there, but from theoretical or other considerations, it is not at all the same thing.”
—Anton Pavlovich Chekhov (1860–1904)
“The analogy between the mind and a computer fails for many reasons. The brain is constructed by principles that assure diversity and degeneracy. Unlike a computer, it has no replicative memory. It is historical and value driven. It forms categories by internal criteria and by constraints acting at many scales, not by means of a syntactically constructed program. The world with which the brain interacts is not unequivocally made up of classical categories.”
—Gerald M. Edelman (b. 1928)
“Nor has science sufficient humanity, so long as the naturalist overlooks the wonderful congruity which subsists between man and the world; of which he is lord, not because he is the most subtile inhabitant, but because he is its head and heart, and finds something of himself in every great and small thing, in every mountain stratum, in every new law of color, fact of astronomy, or atmospheric influence which observation or analysis lay open.”
—Ralph Waldo Emerson (1803–1882)