On Computer-assisted Approach to Formalized Reasoning

• Authors: Matuszewski R.
• Languages of publication: EN

Abstracts

EN

The idea to have a mathemalical, standardized language is an old one. Now with the advances in computer science there is a need of mathematical texts that would be appropiate for processing by computer. A survey of automated reasoning for mathematics is presented. Explanation and comparison between automated reasoning, mechanized mathematics, and formal mathematical language is given. In author's view the motivation for formalizing mathematics include the ability to achieve a higher degree of correctness and precision than found in informal mathematics.

Keywords

EN

AUTOMATED REASONING; FORMALIZED MATHEMATICS.

Discipline

• SCIENCE_OF_SCIENCE: SCIENCE OF SCIENCE

• Publisher: Sciendo
• Journal: Studies in Logic, Grammar and Rhetoric
• Year: 2006
• Volume: 9
• Issue: 22
• Pages: 61-71
• Document type: ARTICLE

Contributors

author

Matuszewski R.

• R. Matuszewski, Uniwersytet w Bialymstoku, Zaklad Lingwistyki Stosowanej, pl.Uniwersytecki 1, 15-420 Bialystok, Poland

Identifiers

CEJSH db identifier

07PLAAAA02224686