Switch to: Citations

Add references

You must login to add references.
  1. Foundations of Constructive Analysis.Errett Bishop - 1967 - New York, NY, USA: Mcgraw-Hill.
    This book, Foundations of Constructive Analysis, founded the field of constructive analysis because it proved most of the important theorems in real analysis by constructive methods. The author, Errett Albert Bishop, born July 10, 1928, was an American mathematician known for his work on analysis. In the later part of his life Bishop was seen as the leading mathematician in the area of Constructive mathematics. From 1965 until his death, he was professor at the University of California at San Diego.
    Download  
     
    Export citation  
     
    Bookmark   109 citations  
  • The History of the Calculus and Its Conceptual Development: (The Concepts of the Calculus).Carl B. Boyer - 1949 - Courier Corporation.
    Traces the development of the integral and the differential calculus and related theories since ancient times.
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • Die Philosophie des strikten Finitismus: entwicklungstheoretische und mathematische Untersuchungen über Unendlichkeitsbegriffe in Ideengeschichte und heutiger Mathematik.Ernst Welti - 1986 - Peter Lang Group Ag, International Academic Publishers.
    Während Cantor die Mathematik auf den Begriff des Aktual-Unendlichen abgestützt hat, legten Brouwer und die Konstruktivisten das Potentiell-Unendliche zugrunde. Noch radikaler ist die Philosophie des Strikten Finitismus, welche vom Natürlich-Unendlichen ausgeht, d.h. der Vorstellung des Unüberblickbaren, Unausführbaren, Unerreichbaren. Darauf aufbauend liegen bereits strikt finitistische Rekonstruktionen von Arithmetik, Geometrie, Analysis und Mengenlehre vor. Untersuchungen zur ontogenetischen und historischen Entwicklung der Unendlichkeitsbegriffe untermauern zusätzlich die Philosophie des Strikten Finitismus.
    Download  
     
    Export citation  
     
    Bookmark   3 citations