Fermat's Last Theorem: Difference between revisions

* One of the fictional dialogues in ''[[Gödel, Escher, Bach]]'' talks about a kind of ant colonies that never wrote down the proof to a variant of Fermat's Last Theorem (the variant is n^^x + n^^y = n^^z, with the same conditions: n=2 has infinitely many solutions and n>2 has none<ref>It is in fact much easier to prove; try to prove it by yourself if you want to</ref>) because it is so small that it would be invisible if written in the margin.