| 
|
Quote: the computer-aided proof of the four color theorem has undergone commentary in a 'social process'; contrary to DeMillo et al
topics >
all references >
references sa-sz >
Topic:
mathematical proof as a social process
Quotation Skeleton
In our view what Swart demonstrates in a … just what De Millo, Lipton and Perlis denied … [four-color-theorem], Swart criticizes the original method, he points out how it … algorithms. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: mathematical proof as a social process (14 items)