What are the limits of mathematical explanation? Interview with Charles McCarty by Piotr Urbańczyk

Abstract

An interview with Charles McCarty by Piotr Urbańczyk concerning mathematical explanation.

Keywords

• mathematics
• logic
• mathematical explanation
• limits of explanation
• mathematical proof
• proof-core
• intuitionism
• constructivsim
• Gödel’s Incompleteness Theorems
• intuitionistics mathematics
• classical mathematics
• Axiom of Choice