Ответ на сообщение Криптокарьера. пользователя Spirit
Из логики
Жизнь логична.
И логика приводит, впрочем, к стратегическому выводу, что жизнь бессмысленна.
Но - логика есть во всём.
Это необходимое условие существования конечных обусловленных явлений и существ.
Но это - не достаточное условие.
Самое интересное, что не удаётся построить всю математику исходя только из логики.
А это пытались сделать не только великие математики, но и величайшие.
Не говоря уж о дилетантах.
Однако ничего не получилось.
Логика (формальная) оказалась математикой, но математика это не только логика, хотя то, что не логично это не математика.
Я думаю, утверждение, что вся математика выводится из логики на практике соответствует утверждению, что существует некий логический алгоритм, реализуемый, разумеется, на компьютере, который, если его запустить, начнёт доказывать любые теоремы и более того - формулировать их.
Причём изначально это как-бы в алгоритм не заложено.
Что-то вроде некоторой самоотображающейся процедуры.
Например - построение фракталов. Ассоциативно похоже.
Тем более с реальной работой живых кожаных математиков. В общем-то это тоже некоторая самоотображающаяся работа, где из аксиом выводят всё остальное, усложняя формальную систему на каждом шаге обращения к уже формализованным результатам размышлений.
В быту это означает, что дома можно запустить программу доказательства, а самому отправиться на рыбалку или в ресторан.
Рыбалка и ресторан сходны в одном - домой возвращаются приняв дозу алкоголя.
Иногда с рыбой или русалкой.
Ну и вот - возвращаешься домой , а теорема доказана!
Её оформляешь согласно требованиям и отправляешь в математический академический журнал под своим именем!
И ты - Великий Математик! Немного перманентно бухой, правда...
Но ничего подобного нет. По крайней мере - пока. Но что-то подсказывает - и вообще тоже. Впрочем - жизнь (которая , как уже было сказано, бессмысленна) покажет...
А жизнь имеет большую неформальную составляющую.
Но если отказаться от логики, то она превращается а ад, как образно выражаются - всё летит к чертям.
И даже появляется смысл!!! Который заключён в понимании, что из ада необходимо выбираться, если только не поступать на чёртовы службу.
Но если удаётся выбраться, с помощью логики разумеется, то смысл опять пропадает. Но это уже выбравшихся не пугает.
Такие эксперименты с логикой и показывают, что всё выводят не из логики, а посредством логики.
В выаодят - из хаоса, филиалом которого и является то, что воспринимается как ад.
Но какой ад у математики?
Он есть!
Это способность к сосредоточению и получение при этом отсутствия гармонии, хаоса, такого маленького математического адика, который испортит жизнь, если всё это не гармонизировать с помощью логики.
А несосредотачиваться математик и теоретик не может. Это врождённое. К счастью - не у всех.
У всех есть также врождённое представление о рае.
Куда хорошо бы попасть из жизни в конкретной обстановке, на Земле, к примеру.
Но этот стимул очень сильно уступает адскому.
Всё-таки в жизни можно тоже устроиться приемлемо. И логика особо не нужна, разве только в быту, на уровне не быть дураком. Кое-кому это даже удаётся иногда, в ходе частичной мобилизации ума.
Многие освоив начала логики и вспоминая прошлую свою жизнь даже делают вывод - был дураком.
Логика это оружие.
А любая власть владение оружием запрещает простым людям.
Ведь могут они следует ещё и следующий вывод - не надо рая (как говорил поэт, которого убили в гостинице Англитер).
И власть всегда основывается на том, что утверждает свою монополию на обещание переправить в рай. Логика здесь только мешает.
Жизнь логична.
И логика приводит, впрочем, к стратегическому выводу, что жизнь бессмысленна.
Но - логика есть во всём.
Это необходимое условие существования конечных обусловленных явлений и существ.
Но это - не достаточное условие.
Самое интересное, что не удаётся построить всю математику исходя только из логики.
А это пытались сделать не только великие математики, но и величайшие.
Не говоря уж о дилетантах.
Однако ничего не получилось.
Логика (формальная) оказалась математикой, но математика это не только логика, хотя то, что не логично это не математика.
Я думаю, утверждение, что вся математика выводится из логики на практике соответствует утверждению, что существует некий логический алгоритм, реализуемый, разумеется, на компьютере, который, если его запустить, начнёт доказывать любые теоремы и более того - формулировать их.
Причём изначально это как-бы в алгоритм не заложено.
Что-то вроде некоторой самоотображающейся процедуры.
Например - построение фракталов. Ассоциативно похоже.
Тем более с реальной работой живых кожаных математиков. В общем-то это тоже некоторая самоотображающаяся работа, где из аксиом выводят всё остальное, усложняя формальную систему на каждом шаге обращения к уже формализованным результатам размышлений.
В быту это означает, что дома можно запустить программу доказательства, а самому отправиться на рыбалку или в ресторан.
Рыбалка и ресторан сходны в одном - домой возвращаются приняв дозу алкоголя.
Иногда с рыбой или русалкой.
Ну и вот - возвращаешься домой , а теорема доказана!
Её оформляешь согласно требованиям и отправляешь в математический академический журнал под своим именем!
И ты - Великий Математик! Немного перманентно бухой, правда...
Но ничего подобного нет. По крайней мере - пока. Но что-то подсказывает - и вообще тоже. Впрочем - жизнь (которая , как уже было сказано, бессмысленна) покажет...
А жизнь имеет большую неформальную составляющую.
Но если отказаться от логики, то она превращается а ад, как образно выражаются - всё летит к чертям.
И даже появляется смысл!!! Который заключён в понимании, что из ада необходимо выбираться, если только не поступать на чёртовы службу.
Но если удаётся выбраться, с помощью логики разумеется, то смысл опять пропадает. Но это уже выбравшихся не пугает.
Такие эксперименты с логикой и показывают, что всё выводят не из логики, а посредством логики.
В выаодят - из хаоса, филиалом которого и является то, что воспринимается как ад.
Но какой ад у математики?
Он есть!
Это способность к сосредоточению и получение при этом отсутствия гармонии, хаоса, такого маленького математического адика, который испортит жизнь, если всё это не гармонизировать с помощью логики.
А несосредотачиваться математик и теоретик не может. Это врождённое. К счастью - не у всех.
У всех есть также врождённое представление о рае.
Куда хорошо бы попасть из жизни в конкретной обстановке, на Земле, к примеру.
Но этот стимул очень сильно уступает адскому.
Всё-таки в жизни можно тоже устроиться приемлемо. И логика особо не нужна, разве только в быту, на уровне не быть дураком. Кое-кому это даже удаётся иногда, в ходе частичной мобилизации ума.
Многие освоив начала логики и вспоминая прошлую свою жизнь даже делают вывод - был дураком.
Логика это оружие.
А любая власть владение оружием запрещает простым людям.
Ведь могут они следует ещё и следующий вывод - не надо рая (как говорил поэт, которого убили в гостинице Англитер).
И власть всегда основывается на том, что утверждает свою монополию на обещание переправить в рай. Логика здесь только мешает.
