Skip to main content
SpringerLink
Log in

Erzeugung mathematischer Begriffe durch Beweisanalyse

  • Published:
Journal für Mathematik-Didaktik Aims and scope Submit manuscript

Abstract

Analysing proofs is presented as a possibility of generating concepts. Examples in algebra as well as topology are given and also remarks concerning the “proof-generated concepts” of Lakatos.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Literatur

  1. E. Artin, O. Schreier: Algebraische Konstruktion reeller Körper Abh.Math.Sem.Univ. Hamburg 5 (1927), 85–99.

    Article  Google Scholar 

  2. G. Bruns, J. Schmidt: Zur Äquivalenz von Moore-Smith-Folgen und Filtern. Math.Nachr. 13 (1955), 169–185.

    Article  Google Scholar 

  3. H. Cartan: Theorie des filtres, C.R.Acad.Sci.205 (1937), 595–598.

    Google Scholar 

  4. M. Fréchet: Sur quelques points du calcul fonctionel, Rend.Cire.Mat.Palermo 22 (1906), 1–74.

    Article  Google Scholar 

  5. F. Hausdorff: Grundzüge der Mengenlehre, Leipzig 1914.

    Google Scholar 

  6. I. Lakatos: Proofs and refutations. Ed.by J. Morall and E. Zaher, Cambridge 1976.

  7. E.H. Moore, H.L. Smith: A general theory of limits, Am.J.Math. 44 (1922), 102–121.

    Article  Google Scholar 

  8. E. Noether: Idealtheorie in Ringbereichen, Math.Ann.83 (1921), 24–66.

    Article  Google Scholar 

  9. G. Pickert: Folgen und Filter in der Infinitesimalrechnung, MNU 13 (1960/61), 150–153.

    Google Scholar 

  10. G. Pickert: Bemerkungen zur Gleichungslehre, MU 26 (1980), Heft 1, 20–33.

    Google Scholar 

  11. ]G. Pickert: Der kombinatorische Kern des Spernerschen Lemmas; eine Beweisanalyse, Math.Sem.Ber. 31 (1984), 142–146.

    Google Scholar 

  12. P.L. Seidel: Über eine Eigenschaft der Reihen, welche diskon-tinuierliche Funktionen darstellen, Abh.Math. Phys. Klasse d.königl.Bayer.Akad.d.Wiss. 5 (1847), 381–393.

    Google Scholar 

  13. R. Struve, E.Chr. Wittmann: Ein operativer Beweis des Spernerschen Lemmas, Math.Sem.Ber. 31 (1984), 134–141.

    Google Scholar 

  14. B.L. van der Waerden: The foundation of algebraic geometry from Severi to André Weil, Arch.Hist.Exact.Sci. 7 (1971), n. 3, 171–180.

    Article  Google Scholar 

  15. H. Weber: Untersuchungen über die allgemeinen Grundlagen der Galois’sehen Gleichungstheorie, Math.Ann. 43 (1893), 521–544.

    Article  Google Scholar 

  16. A. Weil: Sur les espaces uniformes et sur la topologie générale. Act.Scient.et Ind. no. 551, Paris 1937.

Download references

Author information

Authors and Affiliations

  1. Mathematisches Institut, Justus-Liebig-Universität Gießen, Arndtstr. 2, D-6300, Gießen, Deutschland

    Günter Pickert

Authors
  1. Günter Pickert
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Pickert, G. Erzeugung mathematischer Begriffe durch Beweisanalyse. JMD 5, 167–187 (1984). https://doi.org/10.1007/BF03339245

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF03339245

Search

Navigation