A Common Type of Rigorous Proof that Resists Hilbert's Programme

First Author: Bundy A
Attributed to:  The Integration and Interaction of Multiple Mathematical Reasoning Processes funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Book Chapter

Book Title: Proof Technology in Mathematics Research and Teaching (2019)