Amidei, Jacopo; Andrews, Uri; Pianigiani, Duccio; San Mauro, Luca; Sorbi, Andrea Trial and error mathematics: dialectical systems and completions of theories. (English) Zbl 1444.03142 J. Log. Comput. 29, No. 1, 157-184 (2019). MSC: 03D80 03A10 03A05 03D55 03F30 PDF BibTeX XML Cite \textit{J. Amidei} et al., J. Log. Comput. 29, No. 1, 157--184 (2019; Zbl 1444.03142) Full Text: DOI arXiv
Amidei, Jacopo; Pianigiani, Duccio Empirical nature of meta mathematics: the philosophy of mathematics of Roberto Magari. (Italian. English summary) Zbl 1402.03009 Mat. Cult. Soc., Riv. Unione Mat. Ital. (1) 1, No. 2, 145-159 (2016). MSC: 03-03 03A05 08-03 01A70 00A30 PDF BibTeX XML Cite \textit{J. Amidei} and \textit{D. Pianigiani}, Mat. Cult. Soc., Riv. Unione Mat. Ital. (1) 1, No. 2, 145--159 (2016; Zbl 1402.03009)
Amidei, Jacopo; Pianigiani, Duccio; San Mauro, Luca; Sorbi, Andrea Trial and error mathematics. II: Dialectical sets and quasidialectical sets, their degrees, and their distribution within the class of limit sets. (English) Zbl 1392.03017 Rev. Symb. Log. 9, No. 4, 810-835 (2016). MSC: 03A10 03A05 03D55 03D80 PDF BibTeX XML Cite \textit{J. Amidei} et al., Rev. Symb. Log. 9, No. 4, 810--835 (2016; Zbl 1392.03017) Full Text: DOI
Amidei, Jacopo; Pianigiani, Duccio; San Mauro, Luca; Simi, Giulia; Sorbi, Andrea Trial and error mathematics. I: Dialectical and quasidialectical systems. (English) Zbl 1384.03079 Rev. Symb. Log. 9, No. 2, 299-324 (2016). MSC: 03A10 03A05 03D55 03D80 PDF BibTeX XML Cite \textit{J. Amidei} et al., Rev. Symb. Log. 9, No. 2, 299--324 (2016; Zbl 1384.03079) Full Text: DOI