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. I am not sure how far I managed to carry this approach consistently through. In the talk, I will display certain stages of this program for discussion.},
year = {2017},
month = {November 15},
note = {Invited talk at MACIS 2017 ( (7th International Conference on Mathematical Aspects of Computer and Information Sciences), Nov. 15-17, 2017},
institution = {Wien},
conferencename = {MACIS 2017 ( (7th International Conference on Mathematical Aspects of Computer and Information Sciences), Nov. 15-17, 2017}