2 papers
math.LO2012
An axiomatic look at a windmill
Victor Pambuccian
We present the problem stated in intuitive language as problem 2 at the 52nd International Mathematical Olympiad as a formal statement, and prove that it is valid in ordered regula…
math.LO2008
The sum of irreducible fractions with consecutive denominators is never an integer in a very weak arithmetic
Victor Pambuccian
Two theorems of elmentary arithmetic, one stating that the sum of the reciprocals of any number of consecutive positive integers is never an integer, and a generalization thereof b…