Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Studies in Logic, Grammar and Rhetoric

Authors help

  1. 1 Matuszewski R.

Years help

  1. 1 2006

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

On Computer-assisted Approach to Formalized Reasoning

100%
Matuszewski R.
Studies in Logic, Grammar and Rhetoric
|
2006
|
vol. 9
|
issue 22
61-71
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.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.