Trivializing the Proof of Trivial Theorems
Proceedings of the Eighth International Joint Conference on Artificial Intelligence. Theorem Proving. Pages 930-931.
Abstract
Besides a definition of "trivial" theorem, this paper presents a sketch of our methodology for the generalization of recurrence proofs on "trivial" theorems but that lead, in a context ofautomatic theorem proving, to very length y (or even impossible to achieve) proofs. This paper reduces to a description of a detailed example, we hope to make clear that our methodology is of a much wider field of application.
Yves Kodratoff, and Jacqueline Castaing. 1983. Trivializing the Proof of Trivial Theorems. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83. IJCAI, 930–931. https://ijcai.org/proceedings/1983/219
Kodratoff, Y., & Castaing, J. (1983). Trivializing the Proof of Trivial Theorems. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83 (pp. 930–931). IJCAI. https://ijcai.org/proceedings/1983/219
@inproceedings{ijcai1983p219,
title = {Trivializing the Proof of Trivial Theorems},
author = {Kodratoff, Yves and Castaing, Jacqueline},
booktitle = {Proceedings of the Eighth International Joint Conference on
Artificial Intelligence, {IJCAI-83}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Alan Bundy},
pages = {930--931},
year = {1983},
note = {Theorem Proving},
url = {https://ijcai.org/proceedings/1983/219},
}
TY - CPAPER TI - Trivializing the Proof of Trivial Theorems AU - Kodratoff, Yves AU - Castaing, Jacqueline T2 - Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83 PB - International Joint Conferences on Artificial Intelligence PY - 1983 SP - 930 EP - 931 UR - https://ijcai.org/proceedings/1983/219 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
