author = {Bruno Buchberger},
title = {{Teaching Math to Lady M}},
language = {english},
abstract = {I stopped teaching logic and math to humans. Instead I started to teach logic/math to Lady M, a machine. She (or he or it) has absolutely no insight and I enjoy that she does not expect that what I am telling her has any meaning (semantics). For certain input expressions she produces certain output. Very reliably, for the same input the same output. By certain input, her inner state changes and she her input/output behavior changes. Recently, after many layers of communication, I managed to make her behave the way I behaved when, as a PhD student, I invented the Gröbner bases algorithm. I.e. I taught her to invent mathematical algorithms and proofs. Of course, she does not know. Of course, I cannot give a talk on this, since I stopped talking to mathematicians. However, if you like and you don’t make me jealous, you may come and watch me talk to Lady M.},
year = {2017},
month = {July 18},
note = {Invited talk at ACA 2017 (23rd Conference on Applications of Computer Algebra), July 17-21, 2017},
institution = {Jerusalem College of Technology, Jerusalem, Israel},
conferencename = {ACA 2017 (23rd Conference on Applications of Computer Algebra), July 17-21, 2017}