Sciweavers

JSYML
2010
58views more  JSYML 2010»
12 years 11 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 ...
Jaime Gaspar, Ulrich Kohlenbach