Buechner Invited to Give Philosophy of Mathematics Keynote Address

Buechner will give the address at the Joint Conferences of the American Mathematical Society and the Mathematical Association of America, Atlanta, January 5, 2017. The talk is sponsored by the Philosophy of Mathematics special interest group of the Mathematical Association of America. It will be on the use of computers in mathematical proofs, such as the proof of the four-color theorem.