 Форум мехмата МГУ по высшей математике
| Пользователям: | Аксиома — это истина, на которую не хватило доказательств. |
Все посты пользователя
Консультации по решению прикладных задач высшей математики, обсуждение интересных и нестандартных математических задач и головоломок.
О парадоксе Ришара - 3 месяца назад
Парадокс Ришара – всего лишь иллюзия, провоцируемая небрежным обращением с дефинициями. Э.Нагель и Д.Ньюмен, книги авторы «Теорема Гёделя» (как, по-видимому, и сам Ришар), формулируют дефиницию Ришарова числа, как дефиницию свойства, существующего вне нумерованного списка свойств чисел . При этом, как дефиницию, предполагающую/предусматривающую наличие в каждом нумерованном определении в списке оавтор a-parfenov - Высшая математика
Ещё раз о доказательстве Гёделя - 1 год назад
Внимательное рассмотрение логики построения доказательства «Теоремы о неполноте», выявляет ряд нестыковок и противоречий, делающих процедуру доказательства невыполнимой. Самой главной «нестыковкой», наверное, следует считать то, что запись ∀ x ~ Dem(x, sub(y, 13, y)) в символах базового алфавита не представима, а, следовательно, вычислимого по предложенной процедуре номера не имеет. И, такиавтор a-parfenov - Высшая математика
О доказательстве Гёделя - 2 года назад
G- утверждение, эквивалентное «Парадоксу Лжеца» (в варианте: «Данное высказывание утверждает , что оно ложно»), предложенным К. Гёделем способом нумерации формул=утверждений, в действительности построено быть не может, и, соответственно, G№ не имеет. А, следовательно, не может быть использовано как инструмент в доказательстве Малой и Большой «Теорем о неполноте». Логическая цепочка, если короткавтор a-parfenov - Высшая математика