Я так понимаю что они там используют тот же механизм "представить все возможные теоремы в виде натуральных чисел, и доказать недоказуемое исходя из их свойств" что и у Геделя. ;)
Ну как бы ХЗ.
С т.з. математики это давно уже притча во езыцех... вон и Ганди потому завелся, почуял кровушку, математик. %)
А программистам подобным вообще как-то не пристало заморачиватся.
ЗЫ Как бы... не понятно чего они там хотят добится -- явный же висяк метатся, то есть мертвец висящик, висяк мертвецкий... а они проуют как-то на кривой козе пропетлять. %)
Что напоминает мне, из моего аутсорсного опыта, то как чудаки неместные, заказывают мастарам молотка и зубила местным... зафигачить им свою версию Фэйсбука, на РНРхе %)))
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2016-08-22 01:50 pm (UTC)Я так понимаю что они там используют тот же механизм "представить все возможные теоремы в виде натуральных чисел, и доказать недоказуемое исходя из их свойств" что и у Геделя. ;)
Ну как бы ХЗ.
С т.з. математики это давно уже притча во езыцех... вон и Ганди потому завелся, почуял кровушку, математик. %)
А программистам подобным вообще как-то не пристало заморачиватся.
ЗЫ Как бы... не понятно чего они там хотят добится -- явный же висяк метатся, то есть мертвец висящик, висяк мертвецкий...
а они проуют как-то на кривой козе пропетлять. %)
Что напоминает мне, из моего аутсорсного опыта, то как чудаки неместные, заказывают мастарам молотка и зубила местным... зафигачить им свою версию Фэйсбука, на РНРхе %)))