Lex Kravetski (lex_kravetski) wrote,
Lex Kravetski
lex_kravetski

Categories:

Дополнение к опровержению

Что интересно, используемое в статье сопоставление всех чисел, у которых есть определения, этим числам — оверкилл. В том смысле, что для опровержения описанным тут способом достаточно было бы сопоставить определения числам только для тех чисел, определения которых нам известны.

Это не был бы способ нумерации всех вещественных чисел, однако если повторить изложенные в статье рассуждения для этого случая, то выяснится, что даже в его рамках Канторовское число не может иметь номера, а потому либо его определение в принципе не может быть нам известно, либо оно не может быть построено, поскольку процесс его построения внутренне противоречив. Разумеется, второе гораздо более осмысленно, чем первое, и означает, что Канторовское число возможно построить не во всех случаях, а лишь в некоторых, и, таким образом, опровергать общий случай оно не может.


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

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

    Смысл программ на 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 

  • 124 comments

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

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

  • Чистое лицемерие

    Я большой поклонник функций как «граждан первого рода». Это действительно радикально сокращает код и одновременно с тем делает его…

  • Временный обман во благо

    Как это работает. В начале кто-то проводит исследование и выясняет, что изрядная часть людей ест слишком много сахара и/или слишком много соли, что…