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 imp
> 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óp
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.
Abraço,
Prolo
On Wed, Sep 22, 2021 at 9:38 PM Itala Maria Lo
Fantástico!
Ítala
Em qua., 22 de set. de 2021 às 20:51, 'samuel' via LOGICA-L <
logica-l@dimap.ufrn.br> escreveu:
> ... Em todos os lugares do Twitter hoje, o coordenador do projeto vai ser
> o Avigad.
>
>
> https://www.cmu.edu/news/stories/archives/2021/september/hoskinson-center-for-formal-math
Fantástico, certamente Jeremy Avigad tem toda a envergadura para
isso- trabalha simultaneamente com Filosofia e Matemática, e se
alguém pode levar esse "monstro" adiante ele é um deles.
Mas eu pessoalmente acho que há riscos, se a coisa não for feita com
devidas cautelas. Para quem se i
... Em todos os lugares do Twitter hoje, o coordenador do projeto vai ser o
Avigad.
https://www.cmu.edu/news/stories/archives/2021/september/hoskinson-center-for-formal-mathematics.html
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para can
Olá jovens doutores buscando posição:
acabo de receber esta msg de um amigo na Polônia.
Eles continuam procurando um candidato, se alguém se interessar pf me
escreva em privado, eu ajudarei a fazer os contatos.
Abs,
Walter
>Hi Walter, I am writing to you since I have a
> job offer for a yo
-- Forwarded message -
Six Postdoc Positions in Bochum! (German version below)
Project: INTERACT! New forms of social interaction with intelligent systems
Ruhr-Universität Bochum (RUB) is one of Germany’s leading research
universities. The University draws its strength from both
