CM:FP 2023 — Constructive Mathematics: Foundations and Practice

It is the second edition of the series of conferences, under the title: Constructive Mathematics as a Bridge Between Classical Mathematics, Mathematical Education, Philosophy of Mathematics and Computer Sciences - An Appealing Intellectual Unification. This year’s conference will be dedicated to the memory of the American mathematician Errett Bishop celebrating the 95th ANNIVERSARY of his birth as well as the 55th anniversary of the publication of his seminal book Foundations of Constructive Analysis. The main aims of the conference are: to provide an opportunity for experts to present and discuss their recent research in seminars that relate to the various aspects and implications of constructive mathematics; to hold a mini-series of lectures, presented by experts in various fields and designed to engage academics from STEM disciplines and Humanities (including graduate students) in the discussions around the recent developments in constructive mathematics and its applications.

Topics: The conference will be organized in two sections. (I) CONSTRUCTIVE MATHEMATICS – foundations and practice Topics include, but are not limited to: • foundations of constructive mathematics (logic, type theory, set theory, etc.); • constructive analysis, algebra, and topology; • constructive reverse mathematics; • constructive mathematics and its relationships with computer science and AI. (II) CONSTRUCTIVE MATHEMATICS – relations with education and humanities Topics include, but are not limited to: • the implications of constructive mathematics for contemporary mathematics education; • the relationship of constructive mathematics with social sciences and humanities (linguistics, philosophy, etc.); • the implications for the psychology of mathematics and mathematics education.