Die Unlösbarkeit des Halteproblems und sein Bezug zu den klassischen Antinomien
Christian Maurer
Die Unlösbarkeit des Halteproblems steht in enger Verwandtschaft zu klassischen Antinomien, die schon in der Antike die Philosophen zur Verzweiflung getrieben haben. Den Hintergrund bildet die Russellsche Antinomie aus der Mengenlehre.
Sowohl die Analogien als auch der inhaltliche Unterschied werden hier auf einem Niveau formuliert, das ermöglicht, die wesentlichen Grundideen dieser Phänomene nachzuvollziehen, wobei nur mathematische und informatische Grundkenntnisse erforderlich sind.