| Сегодня 22 мая, среда |
      |
  
|
  
Какой рейтинг вас больше интересует?
|
Gödel's Theorem: An Incomplete Guide to Its Use and Abuse2017-02-28 16:05:04 (читать в оригинале)Хайдук wrote: набрели на существенную, видимо, идейную/концептуальную разницу между счётным/конечным, с одной стороны, и несчётным с другой: нету места для более, чем единственной альтернативы у первых, в заметном и разительном отличии от второго Хайдук wrote:
вот примерчик той единственной альтернативы: пары чисел простых-близняшек как (5,7) (11,13) (17,19) (29,31) и т.д.; сколько таких пар, конечное число или их бесконечно много? ясно, что только одна из этих двух возможностей имеет место быть, другая заведомо ложной будет и навсегда останется такой, попросту пока не знаем ответа на этот вопрос. Даже если вопрос окажется неразрешимым по Гёделю в арифметике Пеано, то ничего не изменится: одна из этих двух альтернатив поимеет место быть в математике, а другая станет "нестандартной моделью" вроде 2+2=5. интересно исследовать причины почему конкретное Гёделево предложение недоказуемо у Пеано (но иначе верное, доказанное в неаксиоматической математике), чего не хватает, дабы его доказать? где и как обрывается дедуктивная цепочка по пути к нему?  почему у Пеано эта цепочка ломается бесконечное, может несчётное число раз? почему не ломается у работающих математиков, КАК они выбирают между (условно говоря) 2+2=4 и 2+2=5? 
|
 
Категория «Программисты»
Взлеты Топ 5
Падения Топ 5
Популярные за сутки
|
Загрузка...
BlogRider.ru не имеет отношения к публикуемым в записях блогов материалам. Все записи
взяты из открытых общедоступных источников и являются собственностью их авторов.
взяты из открытых общедоступных источников и являются собственностью их авторов.