#вычислимость — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #вычислимость, aggregated by home.social.
-
Можно ли вычислить всё? О Гёделе, Тьюринге и программировании
Мы привыкли думать, что чем умнее система, тем ближе она к полному объяснению мира. Но математика давно оставила нам очень неприятное напоминание: даже внутри строгих формальных систем есть вещи, которые нельзя доказать изнутри. Так что тогда это говорит о программировании, вычислимости и о нас самих?
https://habr.com/ru/articles/1028638/
#теорема_Гёделя #теорема_о_неполноте #математическая_логика #Алан_Тьюринг #проблема_остановки #вычислимость #формальные_системы #программирование #нейросети #аксиомы