A Computational Perspective on Metamathematics

MCMP – Philosophy of Mathematics ›

1:03:06 | Feb 10th, 2015

Vasco Brattka (UniBwM Munich) gives a talk at the MCMP Colloquium (29 January, 2015) titled "A Computational Perspective on Metamathematics". Abstract: By metamathematics we understand the study of ma...Show More