18 experts in "computability theory" found: