Tag Archives: meta-mathematics

What it is that we do

This post is a follow-up on some somewhat off-hand comments that I made earlier regarding the notion of truth in a “proof-based” discipline such as pure mathematics or theoretical computer science. Since the former is easier to circumscribe and also … Continue reading

Posted in meta, Science, Uncategorized | Tagged | 6 Comments