caa a22 4500 465793975 CHVBK 20180323112032.0 cr unu---uuuuu 170327e19900601xx s 000 0 eng 10.1007/BF01807623 doi (NATIONALLICENCE)springer-10.1007/BF01807623 Beaulieu Liliane The University of California at Berkeley, USA aut Proofs in expository writing — Some examples from Bourbaki's early drafts [Elektronische Daten] [Liliane Beaulieu] Conclusion: The stories told above exemplify the ordinary as much as they document the extraordinary. In the practice of expository writing, definitions play as important a role as mathematical proofs. Also, specifying notation and vocabulary is usually at stake in the writing of textbooks. Although the making of concepts and conceptual settings puts an emphasis on definitions, proofs are in no way absent from this process: in the case of Bourbaki's treatment of Stokes' Theorem, proofs may have acted as a spark in the search for better settings. In the case of filters, the discovery of new concepts simplified some proofs and enabled the results to hold in a more general context. But the motivation for new concepts to be defined did not rise exclusively from a dissatisfaction with proofs that were deemed not rigorous enough. Moreover, the close interplay between the members' own research and the group's expository task tended to relegate proofs to a heuristic in the background of the group's preoccupations. The Ontario Institute for Studies in Education, 1990 Interchange Kluwer Academic Publishers 21/2(1990-06-01), 35-45 0826-4805 21:2<35 1990 21 10780 https://doi.org/10.1007/BF01807623 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF01807623 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Beaulieu Liliane The University of California at Berkeley, USA aut NATIONALLICENCE 773 0- Interchange Kluwer Academic Publishers 21/2(1990-06-01), 35-45 0826-4805 21:2<35 1990 21 10780 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer