John Regehr personal blog

Do C compilers disprove Fermat's Last Theorem?

(You probably already have realized this.) The reason the compiler produced code that terminated was based upon the fact that the values being altered (i.e., a, b and c) within the “while” loop are never referenced again after the loop. But, once you added code which printed the resulting values it was forced to…
Points
76
HN comments
26
Submissions
1
Cited by
10 commenters

Programming LanguagesMath & Algorithms2010

On Hacker News

SubmittedTitle on HNPointsComments
May 1, 2010Do C compilers disprove Fermat's Last Theorem? by jlangenauer7626

Cited in comments

Linked from 12 Hacker News comments by 10 different people, from Sep 2011 to Oct 2026.

Most recent:

Search every comment that links here →

More from John Regehr

All 41 posts →

Related posts from the same era