Философия интуиционизма против фарисейства в науке

DOI:

Дата направления статьи в редакцию:

Дата публикации:

Аннотация: В статье рассмотрено «доказательство иррациональности» квадратного корня из двух, названное в школе Николя Бурбаки «наилучшим классическим примером рассуждения от противного в математике». На основании этого доказательства была построена современная теория иррациональных чисел, которую подверг критике Л.Кронекер, а также теория бесконечных множеств Георга Кантора, которую Л.Брауэр назвал «патологическим казусом в истории математики». Показано, что данное «классическое доказательство» позволяет доказать не только иррациональность квадратного корня из двух, но даже иррациональность целых чисел (!), что подтверждает существование в основаниях математики грубейших аксиоматических противоречий.

Ключевые слова: