Lex Kravetski (lex_kravetski) wrote,
Lex Kravetski
lex_kravetski

Categories:

Ультраконструктивная математика

С точки зрения «математика» актуальная бесконечность — это вполне нормальная штука, с помощью которой всё клёво объясняется.

Ну, в теории объясняется. В теории, которую практика только портит.

Именно поэтому «математик» тут в кавычках: сие направление следовало бы называть «околоматематической философией», а не «математикой». Поскольку математика — это наука, а потому должна описывать наблюдаемые явления. Математическая же философия сродни подсчёту количества ангелов, которые могут уместиться на кончике иглы — наблюдения тут не нужны. И даже принципиальная возможность хоть где-то обнаружить хоть какое-то проявление якобы изучаемого тоже.

Так, например, некий тезис из «теории множеств» в её Канторовском и Цермело-Френкелевском варианте говорит о том, что вещественных чисел «больше», чем натуральных. То есть не существует способов пронумеровать вещественные числа.

Само слово «пронумеровать» тут означает хрен знает что, причём даже если заменить его словом «сопоставить каждый элемент некого множества с элементом множества натуральных чисел». Ведь если и тех и других чисел бесконечно много (в смысле актуальной бесконечности), то мы в принципе не можем сделать список этих чисел.

ДальшеCollapse )

Tags: наука, философия
Subscribe

  • О разработке магических языков

    Смысл программ на Scala состоит в том, чтобы придумать и описать где-то так семь слов, при помощи которых вы сможете сказать всё по выбранной вами…

  • Повелитель диалектики

    Наконец-то появился ролик Попова, который мне понравился.

  • Как привнеси в Scala немножко Wolfram

    В приложении к предыдущей статье я задумался, а сколько вообще надо дописать к Scala, чтобы разобранная в статье конструкция работала и там тоже. То…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 167 comments
Previous
← Ctrl ← Alt
Next
Ctrl → Alt →
Previous
← Ctrl ← Alt
Next
Ctrl → Alt →

  • О разработке магических языков

    Смысл программ на Scala состоит в том, чтобы придумать и описать где-то так семь слов, при помощи которых вы сможете сказать всё по выбранной вами…

  • Повелитель диалектики

    Наконец-то появился ролик Попова, который мне понравился.

  • Как привнеси в Scala немножко Wolfram

    В приложении к предыдущей статье я задумался, а сколько вообще надо дописать к Scala, чтобы разобранная в статье конструкция работала и там тоже. То…