Preface

1-3

Introduction

from practice to results in mathematics and logic

Valeria Giardino, Amirouche Moktefi, Sandra Mols, Jean P. Van Bendegem

5-11

Practice, constraint, and mathematical concepts

Mark Smith

15-28

Proof and understanding in mathematical practice

Danielle Macbeth

29-54

The role of representations in mathematical reasoning

Jessica Carter

55-70

Towards a practice-based philosophy of logic

formal languages as a case study

Catarina Dutilh Novaes

71-102

Learning from Euler

from mathematical practice to mathematical explanation

Daniele Molinini

105-127

From practice to new concepts

geometric properties of groups

Irina Starikova

129-151

Pratique mathématique et lectures de Hegel, de Jean Cavaillès à William Lawvere

Baptiste Mélès

153-182

La physique dans la recherche en mathématiques constructives

Vincent Ardourel

183-208