Description: Professor of Mathematics, Princeton University. Mathematical logic, foundations of mathematics, bounded arithmetic, and automatic proof verification.
Open forum for all scientific topics! Excellent source of information to study. This forum is place to talk with interesting people