Busca avançada
Ano de início
Entree

Introdução à Lógica Matemática: uma abordagem via Álgebra e Topologia.

Processo: 12/20802-1
Linha de fomento:Bolsas no Brasil - Iniciação Científica
Vigência (Início): 01 de dezembro de 2012
Vigência (Término): 30 de novembro de 2014
Área do conhecimento:Ciências Exatas e da Terra - Matemática
Pesquisador responsável:Marcelo Reicher Soares
Beneficiário:Vitor Tadeu Fracaroli Rocha
Instituição-sede: Faculdade de Ciências (FC). Universidade Estadual Paulista (UNESP). Campus de Bauru. Bauru , SP, Brasil
Assunto(s):Espaços topológicos   Lógica matemática

Resumo

O objetivo principal do projeto é estudar a lógica matemática por meio de uma abordagem utilizando álgebra, bem como estudar algumas relações entre Topologia e Lógica Matemática. Desta forma, estudaremos as álgebras de Boole e Heyting e vamos ver a conexão destas com o cálculo proposicional clássico e intuicionista, ou seja, as álgebras de Lindenbaum. É nossa intenção também, estudar a prova de alguns teoremas interessantes da teoria, como os teoremas de completude.Estudaremos, ainda, o Sistema dedutivo de Tarski e estabeleceremos conexões destes com os Espaços Quase Topológicos.

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Matéria(s) publicada(s) em Outras Mídias (0 total):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)