Disertación de Maestría
DOI
https://doi.org/10.11606/D.45.2019.tde-03062019-115721
Documento
Autor
Nombre completo
Rafael Russo Setin
Dirección Electrónica
Instituto/Escuela/Facultad
Área de Conocimiento
Fecha de Defensa
Publicación
São Paulo, 2016
Director
Tribunal
Bianconi, Ricardo (Presidente)
Coniglio, Marcelo Esteban
Miraglia Neto, Francisco
Coniglio, Marcelo Esteban
Miraglia Neto, Francisco
Título en portugués
Sobre a infinidade dos primos, o princípio da casa dos pombos e a função exponencial na Aritmética Limitada
Palabras clave en portugués
Aritimética Limitada
Infinidade
Pombo
Primos
Infinidade
Pombo
Primos
Resumen en 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 en inglés
On the infinity of the cousins, the principle of the house of pigeons and the exponential function in Arithmetic Limited
Palabras clave en inglés
Arithmetic
Bounded
Problems
Bounded
Problems
Resumen en 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
ADVERTENCIA - La consulta de este documento queda condicionada a la aceptación de las siguientes condiciones de uso:
Este documento es únicamente para usos privados enmarcados en actividades de investigación y docencia. No se autoriza su reproducción con finalidades de lucro. Esta reserva de derechos afecta tanto los datos del documento como a sus contenidos. En la utilización o cita de partes del documento es obligado indicar el nombre de la persona autora.
Este documento es únicamente para usos privados enmarcados en actividades de investigación y docencia. No se autoriza su reproducción con finalidades de lucro. Esta reserva de derechos afecta tanto los datos del documento como a sus contenidos. En la utilización o cita de partes del documento es obligado indicar el nombre de la persona autora.
RafaelRussoSetin.pdf (341.90 Kbytes)
Fecha de Publicación
2019-06-03
ADVERTENCIA: Aprenda que son los trabajos derivados haciendo clic aquí.
Todos los derechos de la tesis/disertación pertenecen a los autores
CeTI-SC/STI
Biblioteca Digital de Tesis y Disertaciones de la USP. Copyright © 2001-2024. Todos los derechos reservados.
CeTI-SC/STI
Biblioteca Digital de Tesis y Disertaciones de la USP. Copyright © 2001-2024. Todos los derechos reservados.