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