O Departamento de Computação (DC) da UFRPE realiza, no dia 28 de novembro de 2018, às 18h30, mais um Seminário de Computação. Nesta edição, o Prof. Ruan Carvalho (DC-UFRPE) irá conversar sobre computação, matemática e filosofia.
Trata-se de evento aberto à participação de todos os interessados.
Dados do evento:
Data: 28/11/2018
Hora: 18:30 - 19:30
Local: CEAGRI 2 - Auditório
Palestrante: Prof. Ruan Carvalho / DC-UFRPE
Título: Uma conversa sobre computação, matemática e filosofia.
Resumo: Computadores realizam inúmeros tipos de tarefas para nós. Hoje em dia é difícil imaginar uma área em que eles não possam ser úteis. Mas como dimensionar quais são as suas limitações? Uma abordagem é estudá-los por meio de um modelo conceitual, como a máquina de Turing. Assim como na computação, na matemática também há um estudo formal dos seus fundamentos. Teoria da prova foi desenvolvida por matemáticos e filósofos e investiga o raciocínio matemático e as provas como objetos formais. Neste seminário, apresentaremos alguns conceitos dessas áreas que se mostraram muito importantes para a ciência da computação.
Resumo: Computadores realizam inúmeros tipos de tarefas para nós. Hoje em dia é difícil imaginar uma área em que eles não possam ser úteis. Mas como dimensionar quais são as suas limitações? Uma abordagem é estudá-los por meio de um modelo conceitual, como a máquina de Turing. Assim como na computação, na matemática também há um estudo formal dos seus fundamentos. Teoria da prova foi desenvolvida por matemáticos e filósofos e investiga o raciocínio matemático e as provas como objetos formais. Neste seminário, apresentaremos alguns conceitos dessas áreas que se mostraram muito importantes para a ciência da computação.