Logic seminar: David Ross

When:
August 31, 2017 @ 2:50 pm – 3:40 pm
2017-08-31T14:50:00-10:00
2017-08-31T15:40:00-10:00

This semester the Logic Seminar will meet on Thursdays, 2:50 – 3:40 pm in Keller 402.

This Thursday we will have a (probably brief) organizational meeting.

Title: Some nonstandard remarks about Egyptian fractions

Abstract: An Egyptian fraction is a finite sum of fractions of the form $1/n$, where $n$ is a natural number. I’ll give simple proofs of some results about such fractions (also about Znám fractions). The proofs only require the compactness theorem from first order logic, though I’ll use the language of nonstandard analysis.