#теорема_о_неполноте — Public Fediverse posts

Можно ли вычислить всё? О Гёделе, Тьюринге и программировании

Мы привыкли думать, что чем умнее система, тем ближе она к полному объяснению мира. Но математика давно оставила нам очень неприятное напоминание: даже внутри строгих формальных систем есть вещи, которые нельзя доказать изнутри. Так что тогда это говорит о программировании, вычислимости и о нас самих?

https://habr.com/ru/articles/1028638/

#теорема_Гёделя #теорема_о_неполноте #математическая_логика #Алан_Тьюринг #проблема_остановки #вычислимость #формальные_системы #программирование #нейросети #аксиомы

Можно ли вычислить всё? О Гёделе, Тьюринге и программировании

Мы привыкли думать, что чем умнее система, тем ближе она к полному объяснению мира. Но математика давно оставила нам очень неприятное напоминание: даже внутри строгих формальных систем есть вещи, которые нельзя доказать изнутри. Так что тогда это говорит о программировании, вычислимости и о нас самих?

https://habr.com/ru/articles/1028638/

#теорема_Гёделя #теорема_о_неполноте #математическая_логика #Алан_Тьюринг #проблема_остановки #вычислимость #формальные_системы #программирование #нейросети #аксиомы

Можно ли вычислить всё? О Гёделе, Тьюринге и программировании

Мы привыкли думать, что чем умнее система, тем ближе она к полному объяснению мира. Но математика давно оставила нам очень неприятное напоминание: даже внутри строгих формальных систем есть вещи, которые нельзя доказать изнутри. Так что тогда это говорит о программировании, вычислимости и о нас самих?

https://habr.com/ru/articles/1028638/

#теорема_Гёделя #теорема_о_неполноте #математическая_логика #Алан_Тьюринг #проблема_остановки #вычислимость #формальные_системы #программирование #нейросети #аксиомы

Можно ли вычислить всё? О Гёделе, Тьюринге и программировании

Мы привыкли думать, что чем умнее система, тем ближе она к полному объяснению мира. Но математика давно оставила нам очень неприятное напоминание: даже внутри строгих формальных систем есть вещи, которые нельзя доказать изнутри. Так что тогда это говорит о программировании, вычислимости и о нас самих?

https://habr.com/ru/articles/1028638/

#теорема_Гёделя #теорема_о_неполноте #математическая_логика #Алан_Тьюринг #проблема_остановки #вычислимость #формальные_системы #программирование #нейросети #аксиомы

[Перевод] Что открыл Гёдель

В 1931 году 25-летний Курт Гёдель написал доказательство, которое перевернуло мир математики с ног на голову. Выводы были настолько поразительными, а само доказательство настолько изящным, что это было… как-то даже забавно. Я хотел поделиться с вами его открытием. Объединение На протяжении последних 300 лет математики и ученые делали поразительные открытия, которые привели к появлению одной великой закономерности. Эта закономерность заключалась в объединении: идеи, которые раньше считались разрозненными и непохожими, неизменно оказывались одним и тем же! Ньютон положил начало этому процессу в физике, когда обнаружил, что то, что удерживает нас на Земле, — это то же самое, что заставляет Землю вращаться вокруг Солнца. Люди думали, что тепло — это особый вид энергии, но оказалось, что его можно объяснить с помощью механики. Люди думали, что электричество, магнетизм и свет — это разные вещи, но Максвелл обнаружил, что их можно объяснить с помощью электромагнитного поля.

https://habr.com/ru/articles/1017176/

#курт_гёдель #теорема_о_неполноте #математика #логика #lisp #теория_вычислимости #алгоритмы #основы_программирования

[Перевод] Что открыл Гёдель

В 1931 году 25-летний Курт Гёдель написал доказательство, которое перевернуло мир математики с ног на голову. Выводы были настолько поразительными, а само доказательство настолько изящным, что это было… как-то даже забавно. Я хотел поделиться с вами его открытием. Объединение На протяжении последних 300 лет математики и ученые делали поразительные открытия, которые привели к появлению одной великой закономерности. Эта закономерность заключалась в объединении: идеи, которые раньше считались разрозненными и непохожими, неизменно оказывались одним и тем же! Ньютон положил начало этому процессу в физике, когда обнаружил, что то, что удерживает нас на Земле, — это то же самое, что заставляет Землю вращаться вокруг Солнца. Люди думали, что тепло — это особый вид энергии, но оказалось, что его можно объяснить с помощью механики. Люди думали, что электричество, магнетизм и свет — это разные вещи, но Максвелл обнаружил, что их можно объяснить с помощью электромагнитного поля.

https://habr.com/ru/articles/1017176/

#курт_гёдель #теорема_о_неполноте #математика #логика #lisp #теория_вычислимости #алгоритмы #основы_программирования

[Перевод] Что открыл Гёдель

В 1931 году 25-летний Курт Гёдель написал доказательство, которое перевернуло мир математики с ног на голову. Выводы были настолько поразительными, а само доказательство настолько изящным, что это было… как-то даже забавно. Я хотел поделиться с вами его открытием. Объединение На протяжении последних 300 лет математики и ученые делали поразительные открытия, которые привели к появлению одной великой закономерности. Эта закономерность заключалась в объединении: идеи, которые раньше считались разрозненными и непохожими, неизменно оказывались одним и тем же! Ньютон положил начало этому процессу в физике, когда обнаружил, что то, что удерживает нас на Земле, — это то же самое, что заставляет Землю вращаться вокруг Солнца. Люди думали, что тепло — это особый вид энергии, но оказалось, что его можно объяснить с помощью механики. Люди думали, что электричество, магнетизм и свет — это разные вещи, но Максвелл обнаружил, что их можно объяснить с помощью электромагнитного поля.

https://habr.com/ru/articles/1017176/

#курт_гёдель #теорема_о_неполноте #математика #логика #lisp #теория_вычислимости #алгоритмы #основы_программирования

[Перевод] Что открыл Гёдель

В 1931 году 25-летний Курт Гёдель написал доказательство, которое перевернуло мир математики с ног на голову. Выводы были настолько поразительными, а само доказательство настолько изящным, что это было… как-то даже забавно. Я хотел поделиться с вами его открытием. Объединение На протяжении последних 300 лет математики и ученые делали поразительные открытия, которые привели к появлению одной великой закономерности. Эта закономерность заключалась в объединении: идеи, которые раньше считались разрозненными и непохожими, неизменно оказывались одним и тем же! Ньютон положил начало этому процессу в физике, когда обнаружил, что то, что удерживает нас на Земле, — это то же самое, что заставляет Землю вращаться вокруг Солнца. Люди думали, что тепло — это особый вид энергии, но оказалось, что его можно объяснить с помощью механики. Люди думали, что электричество, магнетизм и свет — это разные вещи, но Максвелл обнаружил, что их можно объяснить с помощью электромагнитного поля.

https://habr.com/ru/articles/1017176/

#курт_гёдель #теорема_о_неполноте #математика #логика #lisp #теория_вычислимости #алгоритмы #основы_программирования