Abstract: Proof-oriented researchers must consider the question “What is proof?” before embarking on any serious study of the topic. In this talk I will review some answers to this question provided in the current research. I will also give a preview into my future research.
To add/edit talks, please log in on the department web page, then return to Announce. Alternatively if you know the Announce
username/password, click the link below: