Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Quando Edoardo Amaldi lançou?
  ###Tabelas:
CREATE TABLE table_name_25 (launch_date VARCHAR, name VARCHAR)


SELECT launch_date FROM table_name_25 WHERE name = "edoardo amaldi"