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. p. 59-71 (Mathematics Education in the Digital Era; Vol. 14).

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, vol. 14, Springer-Verlag GmbH, pp. 59-71. https://doi.org/10.1007/978-3-030-28483-1_3

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 (pp. 59-71). (Mathematics Education in the Digital Era; Vol. 14). Springer-Verlag GmbH. https://doi.org/10.1007/978-3-030-28483-1_3

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. p. 59-71. (Mathematics Education in the Digital Era). https://doi.org/10.1007/978-3-030-28483-1_3

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. pp. 59-71 (Mathematics Education in the Digital Era).