> Eu suspeito que os 20 milhões de dólares sejam basicamente o custo da > construção de um novo prédio para abrigar o centro, nem tão grande assim, com > alguma mobília, equipamentos, talvez alguma reserva para manutenção por algum > tempo.
Aqui neste vídeo (https://youtu.be/3snIzhjqsk0) o próprio Hoskinson (bilionário dos blockchains) fala sobre o Lean, sobre a importância das demonstrações matemáticas e sobre algumas das conquistas de formalização da matemática, e sobre "a interseção entre Computação, Matemática, Filosofia e Lógica"). Ele também fala sobre a verba que está doando, que resultará em 1 milhão de dólares por ano, durante um certo número de anos, e alguma verba adicional para a Carnegie Mellon construir seu puxadinho, ou gastar como melhor lhe aprouver, neste projeto. Ele afirma, ainda, que pretende aumentar o investimento ("entre 200 e 250 milhões ao longo da próxima década, ou duas décadas"), no futuro, para que o Centro se transforme em um Instituto. Está claro que vai ter bastante verba, em particular, para contratar pós-doutorandos e estudantes de pós-graduação, e é bom a gente não subestimar o que o Avigad será capaz de fazer com essa grana. Talvez a Giselle Reis, que trabalha na CMU e faz parte da nossa comunidade, tenha mais notícias pra dar pra gente sobre isso? Sobre puxadinhos, recordo-me de ter ficado surpreso ao descobrir, em breve passagem por Palo Alto, que a Stanford Encyclopedia of Philosophy é administrada por um único funcionário que habita uma única salinha na universidade de Stanford (universidade na qual o prédio da Computação foi doado por Bill Gates, e o prédio da Engenharia Elétrica foi doado por David Packard, já que a Microsoft e a HP ---e a Valeria de Paiva :-D--- estão logo ali do lado). []s, Joao Marcos -- http://sequiturquodlibet.googlepages.com/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhdXQbh91u6oABixmJnWjW8HtZ8-CHNDsfH__Hxtj0Y1g%40mail.gmail.com.
