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 Zagadnienia Naukoznawstwa

Years help

  1. 1 2008

Authors help

  1. 1 Mrozek J.

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  COMPUTERS IN MATHEMATICS
help Sort By:

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

The Role of Computers in Mathematics

100%
Mrozek J.
Zagadnienia Naukoznawstwa
|
2008
|
vol. 44
|
issue 2(176)
211-221
EN
Contemporary computer technology is so advanced that it leads some mathematicians to suggestions that computers can enrich the already-known forms of mathematical theses proving. Some mathematicians openly speak about computer method of proving mathematical theorems. The paper is an attempt to consider notion of computer proof. The author describes various roles that computer can play in mathematics, compares the notion of experiment in the sciences and mathematics and then indicates possible conceptual difficulties with application of computers to proving mathematical theorems. Finally, the author formulates a key questions for the considered issue: Can computer prove mathematical theses in a different sense than a formalized proof does?; and: Can the application of computer in the procedure of proving the theorems undermine the dominating position of the mathematician?
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.