Infinitary and finitary formulations of mathematical results

Sa？etak This paper discusses various tricks used to reduce an infinitary formulation of a problem to a finitary one, and vice versa. The presented examples are famous problems from arithmetic combinatorics and the Euclidean geometry, while the presented techniques come from mathematical analysis and mathematical logi