| 
|
Quote: simple, unspecialized theorems become part of mathematics, but program proving produces narrow theorems for a paltry class of structures
topics >
all references >
references c-d >
Topic:
program proving is infeasible
Quotation Skeleton
The point, again, is that simple, unspecialized theorems- … be read, published, and used, than idiosyncratic, narrow … consider the class. Yet it is exactly this … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proving is infeasible (46 items)