Проектът "Кракен"

[

←18

]

¹ Хипотеза на Чърч-Тюринг - фундаментално евристично твърдение (невъзможно е да се докаже или опровергае), формулирано през 30-те години на миналия век и разделено впоследствие на два тезиса - физически („всяка функция, която може да бъде изчислена от физическо устройство, може да бъде изчислена от машината на Тюринг“, т.е. от компютър) и т.нар. силен тезис („всеки краен физичен процес, който не използва апарат, свързан с непрекъснатост и безкрайност, може да бъде изчислен от физическо устройство“, или с други думи, компютърът е в състояние да моделира всеки краен физичен процес) - Б. пр.