На информационном ресурсе применяются cookie-файлы. Оставаясь на сайте, вы подтверждаете свое согласие на их использование.
Я вообще-то всегда считала, что это именно философская концепция - если не можешь познать что-либо изнутри системы, то нужно выйти в надсистему...
А она что - математическая?.. Да?..
А она что - математическая?.. Да?..
Мне кажется это можно обобщить философски (+ принцип неопределённости в ядерной физике) - невозможно окончательно познать мир. Это принцип - что-то да останется за сознанием, за опытом. Даже в математике, куда вроде как проще, 1+1
Насколько я знаю, Гёдель - математик. Математика, логика - философия.
По сути, это, наверное, философская теорема. То есть, она относится к той части философии, которая гносеология.
Но вот у меня в одном месте она не встает применительно к одному участку устройства мира, бытия, типа))
Не вписывается в понимание одной системы...
Вот я и задумалась...
По сути, это, наверное, философская теорема. То есть, она относится к той части философии, которая гносеология.
Но вот у меня в одном месте она не встает применительно к одному участку устройства мира, бытия, типа))
Не вписывается в понимание одной системы...
Вот я и задумалась...
То есть, даже теоретически, даже в математике совершенной, абсолютно предсказуемой и познаваемой изнутри себя системы не существует?
Об этом и принцип Гёделя.
Но не догма. Введи в систему противоречивость и вуаля! система становится полной - всё выводимо в рамках противоречивой системы. Хотя это тавтология
Но не догма. Введи в систему противоречивость и вуаля! система становится полной - всё выводимо в рамках противоречивой системы. Хотя это тавтология
"В любой непротиворечивой системе существуют утверждения, которые невозможно доказать в рамках этой системы."
Их можно:
а) доказать, выйдя за рамки системы,
б) принять как аксиомы, не требующие доказательства.
Может быть так подразумевалось.
Их можно:
а) доказать, выйдя за рамки системы,
б) принять как аксиомы, не требующие доказательства.
Может быть так подразумевалось.
>Их можно:
Да, ничего их не можно. Они есть и всё. В другой системе они возможно будут другими, как вариант в другой системе их просто нет.
>принять как аксиомы, не требующие доказательства.
Это и есть противоречивая система, когда истинно "A и не А"
Да, ничего их не можно. Они есть и всё. В другой системе они возможно будут другими, как вариант в другой системе их просто нет.
>принять как аксиомы, не требующие доказательства.
Это и есть противоречивая система, когда истинно "A и не А"
Сейчас читают
Ну возьмите меня....
72181
522
Эх, грусть тоска меня съедает...
35656
247
Грибные места (в поисках мужиков)
40176
301
****Это и есть противоречивая система, когда истинно "A и не А"
А если я положу аксиомой, что формальная система А непротиворечива, она от этого станет противоречивой?
А если я положу аксиомой, что формальная система А непротиворечива, она от этого станет противоречивой?
Ты конечно можешь положить красное зелёным, а ещё лучше солёным. Останется только убедить в этом остальных.
Непротиворечивость это свойство, которое наблюдается у уже сформированной системы.
Непротиворечивость это свойство, которое наблюдается у уже сформированной системы.
вот за это простое: Введи в систему противоречивость и вуаля! система становится полной (какие же всетки тетки дурищи)))
(*ушла претворять совет в жизнь)))
Зелубый цвет таки существует по-твоему?
ХЗ. Сороке виднее, он математик.
Мне казалось, что теорема Геделя возникла из попытки доказательства непротиворечивости системы аксиом.
Типа
а) Некоторые помидоры - красные.
б) Некоторые помидоры - соленые.
Противоречиво? Нет. Попробуй доказать это, лишь опираясь на а) и б).
Мне казалось, что теорема Геделя возникла из попытки доказательства непротиворечивости системы аксиом.
Типа
а) Некоторые помидоры - красные.
б) Некоторые помидоры - соленые.
Противоречиво? Нет. Попробуй доказать это, лишь опираясь на а) и б).
Не путай меня с помидорами!!! 
Мне нужно статью доделать)) ваковскую...
А я идею только что ухватила)) А ты с солеными помидорами...
Вот теперь буду мучиться - что бы такое ввести внутрь той помидорной системы, чтоб оба утверждения оказались верными и доказуемыми??
Мне нужно статью доделать)) ваковскую...
А я идею только что ухватила)) А ты с солеными помидорами...
Вот теперь буду мучиться - что бы такое ввести внутрь той помидорной системы, чтоб оба утверждения оказались верными и доказуемыми??
Ну вот смотри:
Крокодил больше длинее чем шире...ведь так?
Крокодил больше длинее чем шире...ведь так?