Я сколько физиков-шизиков информатиков-математиков видал, все они были идиоты. А все проще. Я беру простое выражение, например: "Мама мыла раму". Сколько логических ответвления я могу из нее построить? Много. Сложнее просчитать на каком подуровне фрактал зациклится. А он зациклится ибо из выражения "мама мыла раму" нет логического выхода, поскольку состоит из ложных предпосылок. Чья это мама? И зачем она мыла эту раму? А все проще. Я беру одно слово: "Слава", например. Сколько я могу из него наделать подуровней? Не сосчитаешь. Славь славу славой! Короче, евреи не дошли до Земли Обетованной. Сусанин их не туда завел. Земля Обетованная в туманности Андромеды.
Хм, решение проблемы Пуанкаре нельзя формализовать средствами математической логики -- как и доказательство всех топовых математических теорем особенно матана.
Так это проблема логики тогда. Не доросла, не догоняет. С дельта-функцией поначалу тоже были проблемы, потом привлекли всякие гиперфункции и меру Лебега, все завертелось, доросли.
а не известно. Я не исключаю, что топовые теоремы математики принципиально нельзя формализовывать логически. Математику ведь логически так и не формализовали до конца. Программа Гильберта не реализована в принципе. Застряли на аксиоме выбора и еще каких-то вещах.
И, более того, если математик пытается быть логиком и делать все прозрачным, то он тогда топчется на месте. Высокая математика -- это всегда офигенные скачки в размышлениях, с логическими разрывами.
О людях с техническими мозгамиlivejournalSeptember 4 2016, 04:58:55 UTC
Пользователь mrmong сослался на вашу запись в своей записи « О людях с техническими мозгами» в контексте: [...] Оригинал взят у в О людях с техническими мозгами [...]
Comments 105
(The comment has been removed)
Reply
(The comment has been removed)
Reply
Reply
(The comment has been removed)
Reply
С дельта-функцией поначалу тоже были проблемы, потом привлекли всякие гиперфункции и меру Лебега, все завертелось, доросли.
Reply
И, более того, если математик пытается быть логиком и делать все прозрачным, то он тогда топчется на месте. Высокая математика -- это всегда офигенные скачки в размышлениях, с логическими разрывами.
Reply
Reply
Reply
Leave a comment