Dissertação de Mestrado
DOI
https://doi.org/10.11606/D.45.2019.tde-03062019-115721
Documento
Autor
Nome completo
Rafael Russo Setin
E-mail
Unidade da USP
Área do Conhecimento
Data de Defesa
Imprenta
São Paulo, 2016
Orientador
Banca examinadora
Bianconi, Ricardo (Presidente)
Coniglio, Marcelo Esteban
Miraglia Neto, Francisco
Coniglio, Marcelo Esteban
Miraglia Neto, Francisco
Título em português
Sobre a infinidade dos primos, o princípio da casa dos pombos e a função exponencial na Aritmética Limitada
Palavras-chave em português
Aritimética Limitada
Infinidade
Pombo
Primos
Infinidade
Pombo
Primos
Resumo em português
Estudaremos aqui problemas de demonstrações em teorias fracas da Aritmética Limitada os teoremas sobre a infinidade dos primos e do princpio da casa dos pombos (limitado). Serão dadas soluções parciais para os dois problemas anteriores, além da demonstração que o grafco de x y = z tem definição 0
Título em inglês
On the infinity of the cousins, the principle of the house of pigeons and the exponential function in Arithmetic Limited
Palavras-chave em inglês
Arithmetic
Bounded
Problems
Bounded
Problems
Resumo em inglês
We study here the problems of proving in weak theories of Bounded Arithmetic the theorems about the existence of arbitrarily large prime numbers and the (limited) pigeon hole principle. We will give partial solutions for the two foregoing problems, and the proof that the graphic of x y = z has a 0 definition
AVISO - A consulta a este documento fica condicionada na aceitação das seguintes condições de uso:
Este trabalho é somente para uso privado de atividades de pesquisa e ensino. Não é autorizada sua reprodução para quaisquer fins lucrativos. Esta reserva de direitos abrange a todos os dados do documento bem como seu conteúdo. Na utilização ou citação de partes do documento é obrigatório mencionar nome da pessoa autora do trabalho.
Este trabalho é somente para uso privado de atividades de pesquisa e ensino. Não é autorizada sua reprodução para quaisquer fins lucrativos. Esta reserva de direitos abrange a todos os dados do documento bem como seu conteúdo. Na utilização ou citação de partes do documento é obrigatório mencionar nome da pessoa autora do trabalho.
RafaelRussoSetin.pdf (341.90 Kbytes)
Data de Publicação
2019-06-03
AVISO: Saiba o que são os trabalhos decorrentes clicando aqui.
Todos os direitos da tese/dissertação são de seus autores
CeTI-SC/STI
Biblioteca Digital de Teses e Dissertações da USP. Copyright © 2001-2024. Todos os direitos reservados.
CeTI-SC/STI
Biblioteca Digital de Teses e Dissertações da USP. Copyright © 2001-2024. Todos os direitos reservados.