Commenting Proofs
This paper constitutes a summary of a seminar entitled "Commenting Proofs" given a the Artificial Intelligence Laboratory during the spring of 1974. The work is concerned with new syntactic structures in formal proofs which derive from their pragmatic and semantic aspects. It is a sy...
| Main Author: | |
|---|---|
| Language: | en_US |
| Published: |
2004
|
| Online Access: | http://hdl.handle.net/1721.1/6223 |
| _version_ | 1826188545736310784 |
|---|---|
| author | Geiser, James R. |
| author_facet | Geiser, James R. |
| author_sort | Geiser, James R. |
| collection | MIT |
| description | This paper constitutes a summary of a seminar entitled "Commenting Proofs" given a the Artificial Intelligence Laboratory during the spring of 1974. The work is concerned with new syntactic structures in formal proofs which derive from their pragmatic and semantic aspects. It is a synthesis of elements from Yessenin-Volpin's foundational studies and developments in Artificial Intelligence concerned with commenting programs and the use of this idea in automatic debugging procedures. |
| first_indexed | 2024-09-23T08:01:21Z |
| id | mit-1721.1/6223 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T08:01:21Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | mit-1721.1/62232019-04-09T16:09:02Z Commenting Proofs Geiser, James R. This paper constitutes a summary of a seminar entitled "Commenting Proofs" given a the Artificial Intelligence Laboratory during the spring of 1974. The work is concerned with new syntactic structures in formal proofs which derive from their pragmatic and semantic aspects. It is a synthesis of elements from Yessenin-Volpin's foundational studies and developments in Artificial Intelligence concerned with commenting programs and the use of this idea in automatic debugging procedures. 2004-10-04T14:46:29Z 2004-10-04T14:46:29Z 1974-05-01 AIM-309 http://hdl.handle.net/1721.1/6223 en_US AIM-309 1147455 bytes 814678 bytes application/postscript application/pdf application/postscript application/pdf |
| spellingShingle | Geiser, James R. Commenting Proofs |
| title | Commenting Proofs |
| title_full | Commenting Proofs |
| title_fullStr | Commenting Proofs |
| title_full_unstemmed | Commenting Proofs |
| title_short | Commenting Proofs |
| title_sort | commenting proofs |
| url | http://hdl.handle.net/1721.1/6223 |
| work_keys_str_mv | AT geiserjamesr commentingproofs |