Horst Luckhardt

Learn More
Luckhardt, H., New formally undecidable propositions: non-trivial lower bounds on proof complexity and related theorems, Theoretical Computer Science 83 (1991) 169-188. Within a formal theory T where a I-rule is provably valid and Gdel’s second incompleteness theorem holds, it is not possible to prove any non-trivial lower bound LB, on proof complexity.(More)
Wenn ein Grundlagenmathematiker sich zum mathematischen Weltbild ~iuBert, so zielt er in erster Linie auf die Grundbegriffe und Prinzipien der heutigen Mathematik; ibm kommt es darauf an, den Kern zu durchschauen. Bei einer so zentralen Wissenschaft wie der Mathematik wundert es nun aber nicht, dab es die verschiedensten Ansichten/i b er sie gibt: die einen(More)
  • 1