Mathematical Problems From Applied Logic I