Это будет ближе к гипотезе, "похоже на правду". Такое недоказуемое утверждение (или его отрицание) можно принять в качестве новой аксиомы в рамках нашей формальной системы. Вот только тогда в рамках этой новой, расширенной системы, сразу же можно придумать другое недоказуемое утверждение.
Скорее всего, это кривая отсылка к аргументам Пенроуза, который считает что человеческое созданание, и, соответственно, сильный ИИ, нельзя смоделировать как вычислимый процесс. Там примерно так: допустим, у нас получилось сделать компьютерную программу (или другую формальную систему), моделирующую человеческую рассуждалку. Тогда, по теореме Гёделя, можно придумать такие (истинные) утверждения, которые будут не доказуемы этой программой. Но человек, используя свою нечеловеческую интуицию, вполне может допетрить что утверждения истинны, шах и мат.
Не спешите выбрасывать перегоревшую лампочку! Осторожно отделите колбу от цоколя, поменяйте вольфрамовую спираль и припаяйте колбу на место, одновременно откачивая воздух. Лампочка еще долго вам прослужит!
Это будет ближе к гипотезе, "похоже на правду". Такое недоказуемое утверждение (или его отрицание) можно принять в качестве новой аксиомы в рамках нашей формальной системы. Вот только тогда в рамках этой новой, расширенной системы, сразу же можно придумать другое недоказуемое утверждение.
Скорее всего, это кривая отсылка к аргументам Пенроуза, который считает что человеческое созданание, и, соответственно, сильный ИИ, нельзя смоделировать как вычислимый процесс. Там примерно так: допустим, у нас получилось сделать компьютерную программу (или другую формальную систему), моделирующую человеческую рассуждалку. Тогда, по теореме Гёделя, можно придумать такие (истинные) утверждения, которые будут не доказуемы этой программой. Но человек, используя свою нечеловеческую интуицию, вполне может допетрить что утверждения истинны, шах и мат.
Не IT, но вполне себе релевантная новость: https://www.reddit.com/r/China/comments/1ltbict/china_delivery_rider_who_graduated_from_top/
Человек с дипломами из нескольких топовых вузов работает доставщиком пиццы. В комментариях интересные цифры по безработице среди молодёжи
Не спешите выбрасывать перегоревшую лампочку! Осторожно отделите колбу от цоколя, поменяйте вольфрамовую спираль и припаяйте колбу на место, одновременно откачивая воздух. Лампочка еще долго вам прослужит!
странно что ещё не упомянули https://www.jetbrains.com/mps/
Редактируй себе прямо в AST сколько хочешь. Пока до серьёзных рефакторингов не дойдёт.
или если оптимизатор начинает делать AST rewrites
всё дело в волшебных пузырьках!
офигеть, у меня точно такой же ergodox. Куплен на massdrop примерно 10 лет назад, так ни на что другое пересесть и не могу
а можно сначала AI, который умеет хорошо ревьюить код?
https://ploum.net/2023-06-23-how-to-kill-decentralised-networks.html
так всё-таки на шпатлёвку или на шпаклёвку?