| 
|
Quote: computing science may provide symbolic calculation that is better than human reasoning; Leibniz's dream
topics >
all references >
references c-d >
Topic:
programming as mathematics
Topic:
what is a computer
Topic:
symbolic execution
Topic:
intelligent machines
Topic:
symbolic manipulation of formulas
Quotation Skeleton
In the long run, I expect computing science … Dream of providing symbolic calculation as an alternative … allowed to be better.) Google-1 Google-2
Copyright clearance needed for quotation.
Topic: programming as mathematics (27 items)
Topic: what is a computer (62 items)
Topic: symbolic execution (8 items)
Topic: intelligent machines (28 items)
Topic: symbolic manipulation of formulas (12 items)