- Theoretical computer science (TCS) studies efficient algorithms and protocols, which ultimately enable much of modern computing. But even more than that, the very concept of computation gives a fundamental new lens for examining the world around us.
- A theory may be characterized as a postulational system (a set of premises) from which empirical laws are deducible as theorems. Thus, it can have an abstract logical form, with axioms, formation rules, and rules for drawing deductions from the axioms as well as definitions for empirically interpreting its symbols.
A theory is a well-substantiated explanation of an aspect of the natural world that can incorporate laws, hypotheses and facts. The theory of gravitation, for instance, explains why apples fall from trees and astronauts float in space. Shop a great selection of Theory at Nordstrom Rack. Find designer Theory up to 70% off and get free shipping on orders over $89.
Big Bang Theory Cast
Theory Of Relativity
Theory of Computation at Princeton
Theoretical computer science (TCS) studies efficient algorithms and protocols, which ultimately enable much of modern computing. But even more than that, the very concept of computation gives a fundamental new lens for examining the world around us. It underlies many 20th century inventions such as cryptography, computational biology, machine learning, quantum computing, etc. An abiding interest in the power of computation has been a regular feature of life at Princeton since the times of Turing, Church, Goedel and von Neumann (all Princeton residents). The TCS group continues today to pursue research in many areas of theory, including complexity theory, algorithms, data structures, computational geometry, cryptography, machine learning and computational economics. We have close connections with faculty in other groups, including computational biology, graphics, networks and systems.
Princeton is a wonderful place for TCS research. The presence of active research groups at the CS and Math depts, as well as the nearby Institute of Advanced Study (not to mention Rutgers/Dimacs half an hour away) ensures that almost every day there is an exciting talk to go to, or an exciting visitor to meet.
News
We are accepting applications for postdoctoral positions for the next academic year! Please check our Resources page for more info.
Theory Definition Science
Zeev Dvir and Sivakanth Gopi win Best Paper at STOC 2015