Trial and error mathematics: Dialectical systems and completions of theories

Jacopo Amidei, Uri Andrews, Duccio Pianigiani +2

This paper is part of a project that is based on the notion of dialectical system, introduced by Magari as a way of capturing trial and error mathematics. In previous work, we inve…