Hacker News
new
past
comments
ask
show
jobs
points
by
anony-123
10 hours ago
|
comments
by
kbelder
10 hours ago
|
next
[-]
Just loop through all values of a, b, c, and n?
reply
by
estetlinus
10 hours ago
|
prev
|
next
[-]
Sure, go on and try it ;)
reply
by
charlieyu1
10 hours ago
|
parent
|
[-]
I found a brilliant proof but there was not enough hard disk space to save the file :(
reply
by
sweetheart
10 hours ago
|
prev
|
[-]
Lean _is_ code. FLT cannot be proven by exhaustion because it's domain is an infinite set: the natural numbers above 2.
reply
by
yesitcan
10 hours ago
|
parent
|
[-]
If they’re asking that kind of question, do you think this answer will help them understand anything?
reply
by
kzrdude
7 hours ago
|
parent
|
next
[-]
Yes
reply
by
sweetheart
9 hours ago
|
parent
|
prev
|
[-]
maybe it will be an answer that entices them to understand more :)
reply