| 
|
Quote: there is no surveyable proof of the four-color theorem; but there is a convincing experiment that establishes the existence of a formal proof
topics >
all references >
references t-z >
Topic:
mathematical proof as a social process
Quotation Skeleton
Nevertheless, it is the contention of this paper … [four-color theorem] does drive a wedge between the criteria of surveyability and … 4CT, nor is there likely to be one. … surveyed, what is presented in their published work, … results of certain computer runs or, as we … is ultimately a report on a successful experiment. … grounds that are in part empirical. … [p. 263] after the 4CT, formal proofs cannot continue … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: mathematical proof as a social process (14 items)