Loading...
Please wait, while we are loading the content...
Similar Documents
The HOLONOMIC ANSATZ II . Automatic DISCOVERY ( ! ) And PROOF ( ! ! ) of Holonomic Determinant Evaluations
| Content Provider | Semantic Scholar |
|---|---|
| Author | Zeilberger, Doron |
| Copyright Year | 2006 |
| Abstract | Experimental Mathematics: The diminishing role of humans In a wonderful essay[W] on Experimental Mathematics, Herb Wilf outlines the four steps of doing Experimental Mathematics, in the way it is usually practiced today. 1. Wondering, by a human, what a “particular situation looks like in detail”. 2. Some computer experimentation to show the structure of that situation for a selection of small values of the parameters. 3. The [human] mathematician gazes at the computer output, attempting to see or to codify some pattern, that hopefully leads him or her to formulate a conjecture. 4. Human-made proof of the human-made conjecture (that was computer-inspired). Under this scheme, only step 2 employs the computer. In the present series of articles, I illustrate, by example, how computers can be used, without any human intervention, to also do steps 3 and 4. As for step 1, the wondering, this can also be done by machinekind -it is not too hard to teach the computer how to wonder. All that we, humans, ultimately would have to do is metawonder. In other words, make up new ansatzes and write once and for all computer programs teaching the computer how to wonder in these ansatzes, then gaze at the pattern, then formulate a conjecture (within the given ansatz) and then, finally, prove the conjecture, all by itself, without any human intervention! No longer just computer-assisted but fully computer-generated. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimPDF/aII.pdf |
| Alternate Webpage(s) | http://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimPDF/aII.pdf |
| Language | English |
| Access Restriction | Open |
| Subject Keyword | Computer program Computer-generated holography Computers Humans Inspiration function Outlines (document) Stanley–Wilf conjecture Write once, compile anywhere Write once, run anywhere |
| Content Type | Text |
| Resource Type | Article |
