The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is probably not important to mathematics.
#programming #pearls
Alan Perlis’s Programming Pearls
@programmingpearls.bsky.social
5 followers 2 following 36 posts
@willwhim made me. Text from www.cs.yale.edu/homes/perlis-alan/q…, originally from ACM's SIGPLAN publication, (September, 1982), Article "Epigrams in Programming", by Alan J. Perlis of Yale University.