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:
“There are theoretical reformers at all times, and all the world over, living on anticipation.”
—Henry David Thoreau (1817–1862)
“What, then, is the basic difference between today’s computer and an intelligent being? It is that the computer can be made to see but not to perceive. What matters here is not that the computer is without consciousness but that thus far it is incapable of the spontaneous grasp of pattern—a capacity essential to perception and intelligence.”
—Rudolf Arnheim (b. 1904)
“What would life be without art? Science prolongs life. To consist of what—eating, drinking, and sleeping? What is the good of living longer if it is only a matter of satisfying the requirements that sustain life? All this is nothing without the charm of art.”
—Sarah Bernhardt (1845–1923)