Роберт !
Здравия Вам и уму Вашему !

А о Гёделе что могу сказать :
Вопрос нужный (о неполноте), но Гёдель - врун. Лукавый человечишко, согласившыйся дать право использовать своё имя для оболвания масс.

О чём собственно, речь в его теореме о неполноте :
Есть набор аксиом и есть логические правила оперирования аксиомами, создающие следствия. И, если правила соблюдены, то есть непротиворечивые следствия. Которые в целом называются Путь, Стезя. Или - Рия, где впереди к слову ранее добавляли Тео - Бог. Получалось слово : теория.
А суть "теоремы" Гёделя такая :
Если к набору аксиом добавить другие аксиомы, то получим То, что доказать прежним набором НЕвозможно.
Получим - мнение о "неполноте" прежнего.
Ну...
это на дураков расчитано и великолепно организовано в виде массированной публикацыи большых туманных текстов, создающих именно дураков. Массово.
Может быть вам знакомо такое понятие : хуцпа ?
Вот. Это она и есть.
Тоже своего рода умение.

Хирви ... - интересная фамилия. Вы из каких краёв будете ?

Георгий Сотула   10.12.2022 12:26   Заявить о нарушении

Хирви, действительно, интересная фамилия - переводится с финского "лось", а в эстонском меня уже повысили - "олень".

Я ингерманландский финн.
Ингерманландия - территория несколько больше Ленинградской области и Эстонии, но, в общем, в тех же местах.

Как заметил Игорь Масленников, поскреби русского - найдещь не татарина, а финно-угра.

Мне понравилось как Вы логически-математически безупречно раздолбали Курта Гёделя и разрешили вековой спор между не самыми глупыми людьми "всех времен и народов" Анри Пуанкаре и Бертраном Расселом!

Теперь всегда буду ссылаться на Вас. Можно, Георгий?

Ваш Лосев-Оленев

Роберт Хирви   11.12.2022 06:28   Заявить о нарушении

Нет, всегда - нельзя, не разрешаю. А по конкретному вопросу - м.б. о выше мною высказанном - это да, это никто и не может запретить.

к нему до поясню, а то очень уж кратко сказал :
Если есть догматы (аксиомы) и есть правила ими оперирования (логика системы) - то ты ВСЕГДА будешь находиться в исходной начальной системе догматов, пока не нарушаешь ни догмат, ни правила логики.
Это есть своего рода догмат догматов. Как Мать матери - мате-матика.

а что сделал Гёдель : он сказал в начале 20-го века очень долгим запутанным докладом именно вышесказанное, видимо ещё сам не очень понимая, о чём говорит. И добавил как бы : ... но есть же недоказуемы в конкретной системе утверждения !
и недоказуемые они - по причине НЕформальности языковых систем.
Ну и кто бы спорил ?
Неформальность - а это слово надо обязательно переводить на понятный язык :
И есть слово о том, что берётся ДРУГАЯ система.
Так и оно и козе должно быть понятно :
В другой СИСТЕМЕ ! - вот против чего эйнштейны воевали и воюют - и другая логика, другие правила, другие результаты.
Воюют против системы вообще !
За право разрушать имеющиеся системы, чтобы кушать энергию от распада систем. Паразитизм - это почерк, его желание непреходящее.

И, поскольку организаторы конференцыи заметили, что Гёдель явно не в ладах с умом, и имеет признаки психо заболеваний, внушаем, они взяли его в оборот, стали годами позже использовать его как говорящий "ярлык" распространения путанного нелогичного, но уже массированного распространения.
Позже, после Второй мировой войны он с Эйнштейном (тот был более в курсе манипуляцый, массово организованных с начала 20-го века в науке) жыли вместе в как бы в "санатории" для таких заслуженных "ярлыков".

Сколь бы скудным умом Гёдель ни обладал бы, с годами он бы разобрался в логике. - и обезъян учат. А он - нет, так и молчал. Потому я и сказал о нём : лукавый.

Георгий Сотула   11.12.2022 15:54   Заявить о нарушении

Роберт, если высказали некие фамилии - Пуанкаре ...
то хорошо бы и лаконично своими словами вам (и для читателей, а не только чтоб показать, что вы в курсе спора) сказать - в чём там суть спора. Или пустое праздное балабольство ?

Георгий Сотула   11.12.2022 15:58   Заявить о нарушении