Palestra discute a lógica e os limites formais da matemática por trás da Ciência da Computação
Na próxima terça-feira, 18, às 11h, na sala 2077 do Instituto de Ciências Exatas (ICEx) da UFMG, o apresentador do podcast Type Theory Forall (https://typetheoryforall.com), Pedro Abreu, irá proferir a palestra “Se Alan Turing é o Pai da Computação, Alonzo Church é a Mãe — O Rico Contexto Histórico Por Trás da Ciência da Computação”. […]
Na próxima terça-feira, 18, às 11h, na sala 2077 do Instituto de Ciências Exatas (ICEx) da UFMG, o apresentador do podcast Type Theory Forall (https://typetheoryforall.com), Pedro Abreu, irá proferir a palestra “Se Alan Turing é o Pai da Computação, Alonzo Church é a Mãe — O Rico Contexto Histórico Por Trás da Ciência da Computação”.