Project without external funding

Eine konstruktivistische Interpretation der Klassischen Mathematik


Project Details
Project duration: 01/199112/2000


Abstract
Es wird ein Logik-Kalkül entwickelt (Prädikatenkalkül 1. Stufe), in dem sich klassische Beweise, konstruktivistische Beweise und Mischformen von beiden formalisieren lassen. Die Aussagen der klassischen Mathematik werden dann so in diesem Kalkül interpretiert, daß sie sich streng konstruktivistisch beweisen lassen. Als zusätzliche Hypothesen werden dazu nur geeignete Formen des (klassischen) Auswahlaxioms benötigt.

Last updated on 2017-11-07 at 14:31