Skip to content

Instantly share code, notes, and snippets.

@Graystripe17

Graystripe17/erdos-woods.py

Forked from Hainish/erdos-woods.py
Last active March 26, 2017 02:39
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save Graystripe17/745aa5e84a3083de6bcef70ed72b2dab to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save Graystripe17/745aa5e84a3083de6bcef70ed72b2dab to your computer and use it in GitHub Desktop.
Download ZIP
Proof that 16 is an Erdős-Woods number
Raw
erdos-woods.py
from fractions import gcd
k = 16
a = 0
while True:
ew = True
for i in xrange(a+1, a+k):
if gcd(i, a) == 1 and gcd(i, a+k) == 1:
ew = False
if ew == True:
print "Erdos Number:", k
print "Proof:", a
break
a += 1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment