TGTGInsighttelegram intelligenceLIVE / telegram public index
TGINSIGHT POST
Post #339
@MachineLearningResearch
AML
Post content
Post content
«Ловушка для бобра» связана с одной из самых известных и трудных проблем информатики: можно ли заранее определить, завершит ли программа работу или будет выполняться бесконечно? Ещё в 1936 году Алан Тьюринг показал, что универсального метода для этого не…