Mémoire de Maîtrise
DOI
https://doi.org/10.11606/D.45.2019.tde-03062019-115721
Document
Auteur
Nom complet
Rafael Russo Setin
Adresse Mail
Unité de l'USP
Domain de Connaissance
Date de Soutenance
Editeur
São Paulo, 2016
Directeur
Jury
Bianconi, Ricardo (Président)
Coniglio, Marcelo Esteban
Miraglia Neto, Francisco
Coniglio, Marcelo Esteban
Miraglia Neto, Francisco
Titre en portugais
Sobre a infinidade dos primos, o princípio da casa dos pombos e a função exponencial na Aritmética Limitada
Mots-clés en portugais
Aritimética Limitada
Infinidade
Pombo
Primos
Infinidade
Pombo
Primos
Resumé en portugais
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
Titre en anglais
On the infinity of the cousins, the principle of the house of pigeons and the exponential function in Arithmetic Limited
Mots-clés en anglais
Arithmetic
Bounded
Problems
Bounded
Problems
Resumé en anglais
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
AVERTISSEMENT - Regarde ce document est soumise à votre acceptation des conditions d'utilisation suivantes:
Ce document est uniquement à des fins privées pour la recherche et l'enseignement. Reproduction à des fins commerciales est interdite. Cette droits couvrent l'ensemble des données sur ce document ainsi que son contenu. Toute utilisation ou de copie de ce document, en totalité ou en partie, doit inclure le nom de l'auteur.
Ce document est uniquement à des fins privées pour la recherche et l'enseignement. Reproduction à des fins commerciales est interdite. Cette droits couvrent l'ensemble des données sur ce document ainsi que son contenu. Toute utilisation ou de copie de ce document, en totalité ou en partie, doit inclure le nom de l'auteur.
RafaelRussoSetin.pdf (341.90 Kbytes)
Date de Publication
2019-06-03
AVERTISSEMENT: Apprenez ce que sont des œvres dérivées cliquant ici.
Tous droits de la thèse/dissertation appartiennent aux auteurs
CeTI-SC/STI
Bibliothèque Numérique de Thèses et Mémoires de l'USP. Copyright © 2001-2024. Tous droits réservés.
CeTI-SC/STI
Bibliothèque Numérique de Thèses et Mémoires de l'USP. Copyright © 2001-2024. Tous droits réservés.