Edinburgh Research Explorer

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

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Standard

A Common Type of Rigorous Proof that Resists Hilbert’s Programme. / Bundy, Alan; Jamnik, Mateja.

Proof Technology in Mathematics Research and Teaching. Springer-Verlag GmbH, 2019. (Mathematics Education in the Digital Era).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Harvard

Bundy, A & Jamnik, M 2019, A Common Type of Rigorous Proof that Resists Hilbert’s Programme. in Proof Technology in Mathematics Research and Teaching. Mathematics Education in the Digital Era, Springer-Verlag GmbH.

APA

Bundy, A., & Jamnik, M. (2019). A Common Type of Rigorous Proof that Resists Hilbert’s Programme. In Proof Technology in Mathematics Research and Teaching (Mathematics Education in the Digital Era). Springer-Verlag GmbH.

Vancouver

Bundy A, Jamnik M. A Common Type of Rigorous Proof that Resists Hilbert’s Programme. In Proof Technology in Mathematics Research and Teaching. Springer-Verlag GmbH. 2019. (Mathematics Education in the Digital Era).

Author

Bundy, Alan ; Jamnik, Mateja. / A Common Type of Rigorous Proof that Resists Hilbert’s Programme. Proof Technology in Mathematics Research and Teaching. Springer-Verlag GmbH, 2019. (Mathematics Education in the Digital Era).