Palestra no IMECC esclarece teoremas de Gödel
Apresentação será realizada nesta quarta-feira (18)
![]() |
Nesta semana, o Instituto de Matemática, Estatística e Computação Científica (IMECC) da UNICAMP promoverá as edições mensais do ciclo de palestras "A Terceira Margem" e das exibições de filmes na cIneMatECCa.
Na quarta-feira (18), a partir das 13h, o professor Walter Carnielli, do Centro de Lógica, Epistemologia e História da Ciência (CLE) da UNICAMP, apresentará a palestra "Tudo o que você sempre quis saber sobre os teoremas de incompletude de Gödel mas tinha medo de perguntar". Os dois teoremas de incompletude de Kurt Gödel, publicados em 1931, estão entre os resultados mais importantes da ciência contemporânea, com profundas implicações para várias questões sobre a matemática, a lógica e a computação. Os teoremas impõem limites para a demonstrabilidade em teorias formais, no sentido em que qualquer sistema axiomático capaz de conter a aritmética é incompleto ou inconsistente. Um sistema incompleto é aquele em que existem teoremas que podem ser verdadeiros, mas não podem ser demonstrados. Um sistema inconsistente, por outro lado, é aquele que contém contradições. Portanto, se não quisermos contradições, todo sistema axiomático capaz de raciocínios aritméticos deve ser incompleto. Na computação, um resultado análogo devido a Alan Turing mostrou que o processo de buscar teoremas que não podem ser demonstrados é indecidível. A palestra discutirá estas e outras questões relativas à matemática e mostrará como a prova do primeiro teorema de Gödel é essencialmente o Paradoxo do Mentiroso sofisticado, e como a prova do Teorema de Turing usa o argumento diagonal de Cantor.
Já na sexta-feira (20), às 15h30, a atração do Instituto será o filme britânico Enigma, de 2001. A obra se passa na segunda guerra mundial e traz como personagem central o talentoso matemático Tom Jericho, que trabalha para o governo britânico e desenvolve e opera Enigma, uma máquina que permite que os agentes secretos dos Aliados decifrem códigos enviados pelos militares alemães. Porém, em dado momento, os alemães passam a utilizar um novo tipo de código que não pode ser decifrado por Enigma. Ao mesmo tempo, Jericho precisa lidar com o desaparecimento de Claire Romilly, companheira de trabalho pela qual se apaixonou.
As duas atividades serão realizadas no auditório do IMECC e são abertas ao público.
Sobre o CeMEAI
O Centro de Ciências Matemáticas Aplicadas à Indústria (CeMEAI), com sede no Instituto de Ciências Matemáticas e de Computação (ICMC) da USP, em São Carlos, é um dos Centros de Pesquisa, Inovação e Difusão (CEPIDs) financiados pela FAPESP.
O CeMEAI é estruturado para promover o uso de ciências matemáticas como um recurso industrial em quatro áreas básicas: Otimização Aplicada e Pesquisa Operacional, Mecânica de Fluidos Computacional, Modelagem de Risco, Inteligência Computacional e Engenharia de Software.
Além do ICMC-USP, CCET-UFSCar, IMECC-UNICAMP, IBILCE-UNESP, FCT-UNESP, IAE e IME-USP compõem o CeMEAI como instituições associadas.
Leonardo Zacarin - Comunicação CeMEAI
Mais informações
Assessoria de Comunicação do CeMEAI: (16) 3373-6609
E-mail: Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.
Palestra e exibição de filme movimentam o IMECC nesta semana
Eventos serão realizados no auditório do Instituto
![]() |
Depois das férias universitárias, o Instituto de Matemática, Estatística e Computação Científica (IMECC) da UNICAMP volta a promover, nesta semana, o ciclo de palestras “A Terceira Margem” (antigas “Palestras da Extensão”) e a cIneMatECCa.
Na quinta-feira (24), às 13h, o professor Jefferson Picanço, do Instituto de Geociências da UNICAMP, contará uma breve história das Ciências da Terra. A palestra “A conquista do espaço e o espanto do futuro” falará sobre como a construção da noção de tempo geológico construiu o mundo em que vivemos. A apresentação também comentará quais seriam os cenários do futuro a partir desta perspectiva e envolve a noção de tempo longo, em contraposição ao tempo curto da narrativa bíblica.
Já na quinta-feira (25), às 15h30, a cIneMatECCa apresentará o filme “A Chegada”, de 2016. A produção de ficção científica traz a história de naves alienígenas que chegam a algumas cidades do mundo e, com a intenção de se comunicar com os visitantes, uma linguista e um militar são chamados para decifrar as estranhas mensagens dos visitantes.
As duas atrações serão realizadas no auditório do IMECC e são gratuitas e abertas ao público. Não é necessário fazer inscrição prévia. Mais informações podem ser encontradas na página do ciclo de palestras e na página da cIneMatECCa.
Sobre o CeMEAI
O Centro de Ciências Matemáticas Aplicadas à Indústria (CeMEAI), com sede no Instituto de Ciências Matemáticas e de Computação (ICMC) da USP, em São Carlos, é um dos Centros de Pesquisa, Inovação e Difusão (CEPIDs) financiados pela FAPESP.
O CeMEAI é estruturado para promover o uso de ciências matemáticas como um recurso industrial em quatro áreas básicas: Otimização Aplicada e Pesquisa Operacional, Mecânica de Fluidos Computacional, Modelagem de Risco, Inteligência Computacional e Engenharia de Software.
Além do ICMC-USP, CCET-UFSCar, IMECC-UNICAMP, IBILCE-UNESP, FCT-UNESP, IAE e IME-USP compõem o CeMEAI como instituições associadas.
Leonardo Zacarin - Comunicação CeMEAI
Mais informações
Assessoria de Comunicação do CeMEAI: (16) 3373-6609
E-mail: Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.
IMECC exibe documentário sobre a vida de Alan Turing
Instituto também promoverá palestra sobre a internet das coisas
![]() |
A seção de extensão do Instituto de Matemática, Estatística e Computação Científica (IMECC) da UNICAMP organizará duas atividades nesta semana.
Na quarta-feira (21), o professor Eduardo Galembeck, do Instituto de Biologia da UNICAMP, será o apresentador das Palestras da Extensão. O tema do evento é a internet das coisas e as possibilidades que ela traz no ensino de ciências. A apresentação começará às 13h.
A sexta-feira (23) será de cIneMatECCa, com o britânico “Codebreaker”, de 2011. A obra é um documentário que conta a história de Alan Turing e de sua relação com o psiquiatra Franz Greenbaum, que conviveu com Turing nos últimos 18 meses da vida do cientista. A obra também traz relatos de outras pessoas que conviveram com Turing e entrevistas com especialistas da área de tecnologia e ciência avançada. A exibição do documentário começará às 15h30.
As duas atividades serão realizadas no auditório do IMECC e são abertas ao público. Confira o resumo da palestra de quarta-feira:
O avanço das novas tecnologias de informação e comunicação trouxe contribuições significativas para o ensino de ciências. Além disso, o rápido ritmo de introdução de novas tecnologias em laboratórios de pesquisa cria a necessidade de sua implantação oportuna nas salas de aula. Infelizmente, na maioria dos casos existe um grande intervalo de tempo entre a adoção generalizada de novas tecnologias de pesquisa e sua disponibilidade para estudantes em cursos regulares. Um caso notável foi a disseminação de computadores pessoais que trouxe muitos benefícios à educação científica. Computadores tornaram informações de fontes diversas e distantes prontamente disponíveis para estudantes e professores na sala de aula, laboratórios de ensino e em casa. Alguns exemplos dos benefícios propiciados pelos computadores pessoais para a educação científica são: a possibilidade de interação com modelos e seu desenvolvimento, a capacidade de armazenamento, tratamento, troca e visualização de dados, bem como a possibilidade de simulação de sistemas complexos. A capacidade de ter as coisas (instrumentos, equipamentos, sensores, atuadores) conectados à internet abriu uma perspectiva única para a educação científica. Os experimentos podem ser planejados e os dados podem ser coletados e interpretados remotamente, usando dispositivos pessoais e equipamentos que podem ser disponibilizados aos alunos para operação remota, a partir de suas escolas. Esta palestra apresentará exemplos e possibilidades que internet das coisas possibilita no ensinar ciências fazendo ciência.
Sobre o CeMEAI
O Centro de Ciências Matemáticas Aplicadas à Indústria (CeMEAI), com sede no Instituto de Ciências Matemáticas e de Computação (ICMC) da USP, em São Carlos, é um dos Centros de Pesquisa, Inovação e Difusão (CEPIDs) financiados pela FAPESP.
O CeMEAI é estruturado para promover o uso de ciências matemáticas como um recurso industrial em quatro áreas básicas: Otimização Aplicada e Pesquisa Operacional, Mecânica de Fluidos Computacional, Modelagem de Risco, Inteligência Computacional e Engenharia de Software.
Além do ICMC-USP, CCET-UFSCar, IMECC-UNICAMP, IBILCE-UNESP, FCT-UNESP, IAE e IME-USP compõem o CeMEAI como instituições associadas.
Leonardo Zacarin - Comunicação CeMEAI
Mais informações
Assessoria de Comunicação do CeMEAI: (16) 3373-6609
E-mail: Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.
Extensão do IMECC apresenta palestra e filme nesta semana
Eventos serão realizados no auditório do Instituto
|
Como já é tradição no Instituto de Matemática, Estatística e Computação Científica (IMECC) da UNICAMP, as Palestras da Extensão e a cIneMatECCa serão realizadas em dias consecutivos.
A convidada do mês de abril do ciclo de Palestras da Extensão é a professora Renata Baesso, da Pontifícia Universidade Católica (PUC) de Campinas. Arquiteta, Renata falará sobre geometria, proporção, harmonia e ritmo, conceitos presentes na concepção de obras de arquitetura. A partir de um percurso histórico, a palestra apresentará preceptivas arquitetônicas relacionadas a esses e outros conceitos, desde a antiguidade clássica até os tempos modernos. A palestra tem início previsto para as 13h de quinta-feira (27).
Já a atração da cIneMatECCa deste mês é o filme Pi, de 1998. Dirigido por Darren Aronofsky, a obra conta a história de um matemático paranoico que procura por um número especial que pode desbloquear os padrões universais encontrados na natureza. A exibição do filme começa às 15h30 da sexta-feira (28).
Os dois eventos serão realizados no auditório do IMECC e são abertos ao público.
Sobre o CeMEAI
O Centro de Ciências Matemáticas Aplicadas à Indústria (CeMEAI), com sede no Instituto de Ciências Matemáticas e de Computação (ICMC) da USP, em São Carlos, é um dos Centros de Pesquisa, Inovação e Difusão (CEPIDs) financiados pela FAPESP.
O CeMEAI é estruturado para promover o uso de ciências matemáticas como um recurso industrial em quatro áreas básicas: Otimização Aplicada e Pesquisa Operacional, Mecânica de Fluidos Computacional, Modelagem de Risco, Inteligência Computacional e Engenharia de Software.
Além do ICMC-USP, CCET-UFSCar, IMECC-UNICAMP, IBILCE-UNESP, FCT-UNESP, IAE e IME-USP compõem o CeMEAI como instituições associadas.
Leonardo Zacarin - Comunicação CeMEAI
Mais informações
Assessoria de Comunicação do CeMEAI: (16) 3373-6609
E-mail: Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.
Seção de Extensão do IMECC retoma atividades nesta semana
Palestras da Extensão e cIneMatECCa serão realizadas no auditório do Instituto
![]() |
Depois de um primeiro ano cheio de atividades, a Seção de Extensão do Instituto de Matemática, Estatística e Computação Científica (IMECC) promoverá, nesta semana, as primeiras edições da cIneMatECCa e das Palestras da Extensão em 2017.
Na quinta-feira (23), a partir das 13h, o professor Rafael Stern, da Universidade Federal de São Carlos (UFSCar), será o apresentador das Palestras da Extensão. Stern falará sobre a aplicação da Teoria da Decisão na área do Direito. A Teoria da Decisão é a área da Estatística que estuda como tomar decisões racionais diante da incerteza. Stern revisará os elementos da Teoria da Decisão e seus principais resultados e apresentará duas aplicações da Teoria da Decisão à Jurimetria. Na primeira, discutirá o impacto da ausência de custas processuais em casos de Direito do Consumidor e estratégias para redigir leis eficientes. Na segunda, debaterá como o judiciário quantifica danos por chances perdidas e apresentará uma alternativa para a quantificação baseada na Teoria da Decisão. Estas quantificações serão ilustradas com o "caso do Show do Milhão".
Já a sexta-feira (24) marcará a estreia da cIneMatECCa neste ano. “O Homem que Viu o Infinito”, de 2015, será o filme apresentado. Dirigida por Matt Brown, a obra conta a história de vida e da carreira acadêmica do pioneiro matemático indiano Srinivasa Ramanujan, assim como sua relação de amizade com seu mentor, o professor G.H. Hardy. A exibição do filme começará às 15h30.
As duas atividades serão realizadas no auditório do IMECC, são abertas ao público e não é necessário fazer inscrição.
Sobre o CeMEAI
O Centro de Ciências Matemáticas Aplicadas à Indústria (CeMEAI), com sede no Instituto de Ciências Matemáticas e de Computação (ICMC) da USP, em São Carlos, é um dos Centros de Pesquisa, Inovação e Difusão (CEPIDs) financiados pela FAPESP.
O CeMEAI é estruturado para promover o uso de ciências matemáticas como um recurso industrial em quatro áreas básicas: Otimização Aplicada e Pesquisa Operacional, Mecânica de Fluidos Computacional, Modelagem de Risco, Inteligência Computacional e Engenharia de Software.
Além do ICMC-USP, CCET-UFSCar, IMECC-UNICAMP, IBILCE-UNESP, FCT-UNESP, IAE e IME-USP compõem o CeMEAI como instituições associadas.
Leonardo Zacarin - Comunicação CeMEAI
Mais informações
Assessoria de Comunicação do CeMEAI: (16) 3373-6609
E-mail: Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.
IMECC oferece duas atividades nesta quinta-feira
Apresentações serão realizadas no auditório do Instituto
![]() |
Na próxima quinta-feira (23), o Instituto de Matemática, Estatística e Computação Científica (IMECC) da Unicamp promoverá duas atividades: uma edição do ciclo de Palestras da Extensão e uma exibição da cIneMatECCa.
Às 13h, o professor Adolfo Maia, do próprio IMECC, será o apresentador da palestra "Música e Probabilidade". A apresentação faz uma revisão histórica de algumas ideias e modelos do uso da probabilidade em análise musical e composição. A seguir, apresenta alguns trabalhos nesta direção começando com o compositor grego Iannis Xenakis e mostra, quando possível, o modelo de probabilidade subjacente. Finalmente, descreve brevemente um modelo de composição e análise de música como a técnica de síntese granular, usando conjuntamente o software MATLAB para geração de matrizes de grãos de sons, bem como para o cálculo de alguns parâmetros estatísticos de interesse, e o software associado Granular Score para composição de texturas sonoras granulares.
Um pouco mais tarde, às 17h, é a vez da cIneMatECCa. O filme exibido será Enigmas de um Crime (The Oxford Murders), de 2008, baseado na obra do matemático argentino Guillermo Martínez. A história do filme se baseia em um professor e um doutorando da Universidade de Oxford que trabalham juntos para tentar deter uma série de assassinatos aparentemente conectados por símbolos matemáticos.
As duas atividades serão realizadas no auditório do IMECC e são gratuitas. Não é necessário fazer inscrição.
Leonardo Zacarin - Comunicação CeMEAI
Mais informações
Assessoria de Comunicação do CeMEAI: (16) 3373-6609
E-mail: Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.
Sessão de cinema do IMECC apresenta o filme "Cubo"
Apresentação será na próxima sexta-feira (13)
![]() |
O filme "Cube" (Cubo), de 1997, será a atração da cInEMateCCa na próxima sexta-feira (13). A obra, dirigida pelo diretor Vincenzo Natali, conta a história de seis pessoas que não se conhecem entre si, e com personalidades muito diferentes, que acordam um dia, sem saber como, dentro de um labirinto kafkiano sem fim e com armadilhas mortais. Cada pessoa tem uma habilidade revelada quando precisam se unir para tentar escapar: um policial, um gênio da matemática, um designer de construções, um doutor, um chefe de escapismo e um homem com deficiência.
A sessão é aberta ao público e começa às 15h30 no auditório do Instituto de Matemática, Estatística e Computação Científica (IMECC) da UNICAMP. O filme tem duração de 1h30.
Sessão de cinema no IMECC apresenta o filme Planolândia
Exibição será na próxima sexta-feira (8)
![]() |
O filme Planolândia (Flatland), lançado em 2007, será a próxima atração do cIneMatECCa, sessão de cinema do Instituto de Matemática, Estatística e Computação Científica (IMECC) da UNICAMP. A apresentação será realizada na próxima sexta-feira, às 15h30, no auditório do IMECC.
Flatland é um filme de animação sobre personagens geométricos que vivem em um mundo bidimensional. Quando uma jovem garota chamada "Hex" decide "pensar fora da caixa", em um mundo onde tal pensamento é proibido, a sua vida fica em perigo e cabe a seu avô salvar a sua vida. O filme é baseado no livro “Flatland-A Romance in Many Dimensions”, de Edwin Abbott, publicado em 1884 na Inglaterra.
Após a apresentação do filme, o professor do IMECC Lucio Tunes do Santos, coordenador de educação e difusão do Centro de Ciências Matemáticas Aplicadas à Indústria (CeMEAI) discutirá o filme com a plateia.
Além da sessão de sexta-feira, o filme será reprisado na quinta-feira da próxima semana (14/04) às 18h, também no auditório do IMECC.
Sobre o CeMEAI
O Centro de Ciências Matemáticas Aplicadas à Indústria (CeMEAI), com sede no Instituto de Ciências Matemáticas e de Computação (ICMC) da USP, em São Carlos, é um dos Centros de Pesquisa, Inovação e Difusão (CEPIDs) financiados pela FAPESP.
O CeMEAI é estruturado para promover o uso de ciências matemáticas como um recurso industrial em quatro áreas básicas: Otimização Aplicada e Pesquisa Operacional, Mecânica de Fluidos Computacional, Modelagem de Risco, Inteligência Computacional e Engenharia de Software.
Além do ICMC-USP, CCET-UFSCar, IMECC-UNICAMP, IBILCE-UNESP, FCT-UNESP, IAE e IME-USP compõem o CeMEAI como instituições associadas.
Leonardo Zacarin – Comunicação CeMEAI
Mais informações
Assessoria de Comunicação do CeMEAI: (16) 3373-6609
E-mail: Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.