THEOREM PROVING.

Saved in:

Bibliographic Details
Title:	THEOREM PROVING.
Authors:	Arasl, K. T.¹, Pott, Alexaner²
Source:	Encyclopedia of Electrical & Electronics Engineering. 1999 1st Edition, Vol. 21, p663-682. 20p.
Subjects:	Automatic theorem proving, Education, Mathematics, Occupational training, Computers, Reasoning
Abstract:	This article presents information regarding theorem proving. Automated theorem proving is the study of techniques for programming computers to search for proofs of formal assertions, either fully automatically or with varying degrees of human guidance. This discipline is potentially of tremendous value, because reasoning and inference underlie so many human activities. Automated theorem proving is based on a foundation of formal logic that has been developed over the past several centuries by mathematicians and philosophers. This heritage of formal logic is often taken for granted, despite the tremendous amount of thought and effort that went into its development.
Database:	Engineering Source

Description
Abstract:	This article presents information regarding theorem proving. Automated theorem proving is the study of techniques for programming computers to search for proofs of formal assertions, either fully automatically or with varying degrees of human guidance. This discipline is potentially of tremendous value, because reasoning and inference underlie so many human activities. Automated theorem proving is based on a foundation of formal logic that has been developed over the past several centuries by mathematicians and philosophers. This heritage of formal logic is often taken for granted, despite the tremendous amount of thought and effort that went into its development.