Sciweavers

Share
JSYML
2010

On Tao's "finitary" infinite pigeonhole principle

9 years 5 months ago
On Tao's "finitary" infinite pigeonhole principle
In 2007, Terence Tao wrote on his blog an essay about soft analysis, hard analysis and the finitization of soft analysis statements into hard analysis statements. One of his main examples was a quasi-finitization of the infinite pigeonhole principle IPP, arriving at the "finitary" infinite pigeonhole principle
Jaime Gaspar, Ulrich Kohlenbach
Added 20 May 2011
Updated 20 May 2011
Type Journal
Year 2010
Where JSYML
Authors Jaime Gaspar, Ulrich Kohlenbach
Comments (0)
books