Comment Re:Mathematics (Score 1) 727
Wasn't the fact that the four-color
theorem was 'solved' in 1979 using a computer actual evidence of
proof by programming? Plus the fact that no one has solved it w/o a
computer?
Wasn't the fact that the four-color
theorem was 'solved' in 1979 using a computer actual evidence of
proof by programming? Plus the fact that no one has solved it w/o a
computer?
Damn, and I burned all my mod points on last week's "Stupid Emacs Tricks".
Somewhere, someone's laughing at me.
Solutions are obvious if one only has the optical power to observe them over the horizon. -- K.A. Arsdall