Seminários de Lógica Matemática

18 de Dezembro 2008, 18h00

Tao's "finitary" infinite pigeonhole principle (join work with U. Kohlenbach)
Complexo Interdisciplinar, Sala B3-01

Jaime Gaspar (Technische Universität Darmstadt )

Abstract:

In 2007 the Fields Medalist Terence Tao studied the "finitization" of statements in analysis, in particular the infinite pigeonhole principle, arriving at the "finitary" infinite pigeonhole principle. In the following year we showed that this principle is false giving a counterexample. Both Tao and we corrected it but in different ways. First we talk about the "finitary" infinite pigeonhole principles and their motivations, relation to Gödel functional interpretation, proofs and the counterexample. Then we attempt to compare, in the context of reverse mathematics, the corrected principles.

| back