Showing math.HOShow all
2 papers · 1 filter
math.HO2019
Aritmética
Joel Torres Del valle
This is an exposition of facts about Arithmetic with an approach via mathematical logic. In Section 1 we present Peano Arithmetic, PA, and the complete theory of , and…
math.HO2018
A Context for Paris-Harrington Combinatorial Principle
Joel Torres Del valle
A historical review of the problem of incompleteness in Mathematics since the 20th century is made. The Combinatorial Principle of Paris-Harrington is studied and the way in which…