Computability and Effective Constructions in Mathematics, NSF (2000–05) Grant uri icon