Neste outro vídeo, aparentemente na própria CMU, o Hoskinson (33 anos de idade) fala um bocado sobre Matemática, fala sobre a ideia de criar "open-source textbooks" para estudantes (do Ensino Médio em diante, de qualquer parte do mundo) por meio do Centro que está criando, e fala também sobre a importância dos Métodos Formais no modelo de negócios que o deixou rico: https://youtu.be/gCLJOrJFLZQ (Devo dizer que uma certa afirmação que ele faz sobre o número de "practicing mathematicians" na África me soa incorreta.)
%%% Agora, vou também "dar uma queixadinha Porque eu sou um rapaz latino-americano Que também sabe se lamentar": Infelizmente, por falta de visão e estratégia, a minha universidade (e o meu departamento, que não foi capaz de acolhê-lo enquanto ele esteve dando sopa por aqui) acabou de _perder_ aquele que é possivelmente o maior especialista nacional na área de Métodos Formais... E não foi a nossa única perda... Enquanto isso, a grande inteligência brasileira (e da UFRN) está agora com a convicção de que vai se tornar _grande potência na área de IA_ (de onde a inteligência vai tirar os profissionais que ele não forma nem é capaz de atrair ou manter, eu não sei). https://www.gov.br/mcti/pt-br/acompanhe-o-mcti/transformacaodigital/inteligencia-artificial Pelo que pude acompanhar, tivemos um concurso em julho para esta área no IMD/UFRN e ninguém foi aprovado, e abrimos depois disso abrimos no DIMAp/UFRN um edital de remoção também para esta área e não tivemos sequer candidatos? %%% []s, JM JM -- 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_LiEpKPtCkeSfANZfOCsc76Yr8wHDnXB58u2t8T4%2Bao2Cw%40mail.gmail.com.
