Description: Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics.
Open forum for all scientific topics! Excellent source of information to study. This forum is place to talk with interesting people