• Publications
  • Influence
Deskriptive Mengenlehre in Hausdorffs Grundzügen der Mengenlehre
Die Wurzeln der deskriptiven Mengenlehre, deren Entwicklung Felix Hausdorff durch seine Lehrbücher und wissenschaftlichen Aufsätze wesentlich beeinflusst hat, liegen in Arbeiten von Georg Cantor zurExpand
Metamathematische Aspekte der Hausdorffschen Mengenlehre
Felix Hausdorff hat in seinen mengentheoretischen Untersuchungen zahlreiche Fragen beruhrt, die von der ublichen Axiomatisierung der Mengenlehre unabhangig sind, d.h. in dieser weder beweisbar nochExpand
ProofML - eine Annotationssprache für natürliche Beweise
TLDR
Die ProofML-Annotation soll dabei einerseits empirisch-analytischen Zwecken dienen, gleichzeitig aber auch eine geeignete Datenstruktur f for eine automatische Textanreicherung darstellen, die für einen Beweis-Checker werden. Expand