Switch to: Citations

Add references

You must login to add references.
  1. 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  
  • Sur le Principe du tiers exclu et sur Les théorèmes non susceptibLes de démonstration.Paul Lévy - 1926 - Revue de Métaphysique et de Morale 33 (2):253 - 258.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Sur le Principe du tiers exclu.Rolin Wavre - 1926 - Revue de Métaphysique et de Morale 33 (3):425 - 430.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Der Intuitionismus.Karl Menger - 1930 - Blätter Für Deutsche Philosophie 4:311--325.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Die intuitionistische grundlegung der mathematik.Arend Heyting - 1931 - Erkenntnis 2 (1):106-115.
    Download  
     
    Export citation  
     
    Bookmark   64 citations  
  • Quelques remarques sur Les mathématiques intuitionnistes. A propos de plusieurs notes de M. Heyting.Alfred Errera - 1933 - Revue de Métaphysique et de Morale 40 (1):27 - 39.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Logique formelle et logique empiriste.Rolin Wavre - 1926 - Revue de Métaphysique et de Morale 33 (1):65 - 75.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Logique empirique . Réponse à M. Rolin Wavre.P. Lévy - 1926 - Revue de Métaphysique et de Morale 33:545.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A propos de plusieurs notes de M. Heyting.A. Errera - 1933 - Revue de Métaphysique et de Morale 40:27-39.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Les fondements des mathématiques: de la géométrie d'Euclide à la rélativité générale et à l'intuitionisme.Ferdinand Gonseth - 1974 - Librairie Scientifique Et Technique A. Blanchard.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Y a-t-il une Grise Des mathématiques? A propos de la notion d'existence et d'une application suspecte du Principe du tiers exclu.Rolin Wavre - 1924 - Revue de Métaphysique et de Morale 31 (3):435 - 470.
    Download  
     
    Export citation  
     
    Bookmark   2 citations