Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Mathematische grundlagenforschung: intuitionismus, beweistheorie.A. Heyting - 1934 - Berlin,: J. Springer.
    In den letzten Jahrzehntel! hat sich das Interesse an der Grund­ legung der Mathematik immer gesteigert. Fanden frtiher die wenigen Forscher, die sich emsthaft mit dieser 'Frage beschaftigten, wenig Be­ achtung, heute ist die Teilnahme sowohl von mathematischer wie von philosophischer Seite fast allgemein. Zu diesem Umschwung hat sieher die CANToRSche Mengenlehre, die gleich nach ihrem Entstehen lebhafte Erorterungen tiber ihre Berechtigung hervorrief, den AnstoB gegeben, und besonders die bei riicksichtsloser Durchfiihrung ihrer Grundgedanken auftretenden Widerspriiche zogen die allgemeine Aufmerksamkeit auf (...)
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
    This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.
    Download  
     
    Export citation  
     
    Bookmark   227 citations  
  • Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung über den Begriff der Zahl.Gottlob Frege - 1884 - Wittgenstein-Studien 3 (2):993-999.
    Download  
     
    Export citation  
     
    Bookmark   320 citations  
  • (5 other versions)Grundzüge der theoretischen logik.David Hilbert - 1928 - Berlin,: G. Springer. Edited by Wilhelm Ackermann.
    Die theoretische Logik, auch mathematische oder symbolische Logik genannt, ist eine Ausdehnung der fonnalen Methode der Mathematik auf das Gebiet der Logik. Sie wendet fUr die Logik eine ahnliche Fonnel­ sprache an, wie sie zum Ausdruck mathematischer Beziehungen schon seit langem gebrauchlich ist. In der Mathematik wurde es heute als eine Utopie gelten, wollte man beim Aufbau einer mathematischen Disziplin sich nur der gewohnlichen Sprache bedienen. Die groBen Fortschritte, die in der Mathematik seit der Antike gemacht worden sind, sind zum (...)
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  • Gottlob Frege: Eine Einführung in sein Werk.Franz von Kutschera - 1989 - Berlin: de Gruyter. Edited by Gottlob Frege.
    Dieses Buch ist aus diesen Vorlesungen entstanden und wendet sichprimär an Studenten. Sein Ziel ist es, ihnen das Werk Freges zu erschließen und sie zum Studium der Originaltexte anzuregen.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)Mathesis universalis.Heinrich Scholz - 1961 - Basel,: B. Schwabe.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Philosophie der Mathematik Und Naturwissenschaft: Nach der 2. Auflage des Amerikanischen Werkes Übersetzt Und Bearbeitet von Gottlob Kirschmer.Hermann Weyl - 2009 - Oldenbourg Wissenschaftsverlag.
    Hermann Weyls "Philosophie der Mathematik und Naturwissenschaft" erschien erstmals 1928 als Beitrag zu dem von A. Bäumler und M. Schröter herausgegebenen "Handbuch der Philosophie". Die amerikanische Ausgabe, auf der die deutsche Übersetzung von Gottlob Kirschmer beruht, erschien 1949 bei Princeton University Press. Das nunmehr bereits in der 8. Auflage vorliegende Werk ist längst auch in Deutschland zum Standardwerk geworden.
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Bericht über untersuchungen zur allgemeinen axiomatik.Rudolf Carnap - 1930 - Erkenntnis 1 (1):303-307.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • (1 other version)Grundlagen der Arithmetik: Studienausgabe mit dem Text der Centenarausgabe.Gottlob Frege - 1988 - Meiner, F.
    Die Grundlagen gehören zu den klassischen Texten der Sprachphilosophie, Logik und Mathematik. Frege stützt sein Programm einer Begründung von Arithmetik und Analysis auf reine Logik, indem er die natürlichen Zahlen als bestimmte Begriffsumfänge definiert. Die philosophische Fundierung des Fregeschen Ansatzes bilden erkenntnistheoretische und sprachphilosophische Analysen und Begriffserklärungen. Studienausgabe aufgrund der textkritisch herausgegebenen Jubiläumsausgabe (Centenarausgabe). Mit Einleitung, Anmerkungen, Literaturverzeichnis und Namenregister.
    Download  
     
    Export citation  
     
    Bookmark   255 citations  
  • Die alte und die neue logik.Rudolf Carnap - 1930 - Erkenntnis 1 (1):12-26.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • On the development of the model-theoretic viewpoint in logical theory.Jaakko Hintikka - 1988 - Synthese 77 (1):1 - 36.
    Download  
     
    Export citation  
     
    Bookmark   60 citations  
  • (1 other version)Grundlagen der Arithmetik: Studienausgabe mit dem Text der Centenarausgabe.Gottlob Frege - 1884 - Breslau: Wilhelm Koebner Verlag.
    Die Grundlagen gehören zu den klassischen Texten der Sprachphilosophie, Logik und Mathematik. Frege stützt sein Programm einer Begründung von Arithmetik und Analysis auf reine Logik, indem er die natürlichen Zahlen als bestimmte Begriffsumfänge definiert. Die philosophische Fundierung des Fregeschen Ansatzes bilden erkenntnistheoretische und sprachphilosophische Analysen und Begriffserklärungen. Studienausgabe aufgrund der textkritisch herausgegebenen Jubiläumsausgabe (Centenarausgabe). Mit Einleitung, Anmerkungen, Literaturverzeichnis und Namenregister.
    Download  
     
    Export citation  
     
    Bookmark   309 citations  
  • Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie.R. Carnap - 1935 - Erkenntnis 5 (1):288-289.
    Download  
     
    Export citation  
     
    Bookmark   12 citations