The mechanization of mathematics refers to the use of computers to find, or to help find, mathematical proofs. Turing showed that a complete reduction of mathematics to computation is not possible, but nevertheless the art and science of automated deduction has made progress. This paper describes some of the history and surveys the state of the art.

the purpose of this study is to examine the relationship between epistemological and motivational beliefs about mathematics among gifted students. to this end , 334 first year high school gifted students were selected through applying the otis intelligence test. epistemological beliefs questionnaire (ebq) and motivational beliefs about mathematics scale (mbms) were also used as measurement inst...

the present article studies the appearnace of iranian authors in sci database for the 1993-1997 period. it tries to present an actual picture of scientific activities in iran and the world. for this purpose, scientific information of iranian origin in form of articles dealing with basic sciences, were extracted. irans position has been compared with the rest of the world. it was found that 0.1 ...

Jianfeng Lu, Jian-Guo Liu, and Dionisios Margetis Department of Mathematics and Department of Physics, Duke University, Durham, North Carolina 27708, USA Department of Chemistry, Duke University, Durham, North Carolina 27708, USA Department of Mathematics, and Institute for Physical Science and Technology, and Center for Scientific Computation and Mathematical Modeling, University of Maryland, ...

Communications in Statistics Simulation and Computation Publication details, including instructions for authors and subscription information: http://www.informaworld.com/smpp/title~content=t713597237 Tolerance Factors in Multiple and Multivariate Linear Regressions K. Krishnamoorthy a; Sumona Mondal b a Department of Mathematics, University of Louisiana at Lafayette, Lafayette, Louisiana, USA b...

Meghan McIntyre1, Edward L. Rowe2, Michael Shearer2, J. M. N. T. Gray3 and Anthony R. Thornton3 1Mathematics Department, Duke University, Durham, NC 27708, USA 2Department of Mathematics and Center for Research in Scientific Computation, North Carolina State University, Raleigh, NC 27695, USA and 3School of Mathematics and Manchester Centre for Nonlinear Dynamics, University of Manchester, Oxfo...

Center For Research in Scientific Computation and Department of Mathematics, North Carolina State University, Raleigh, North Carolina 27695-8205; Department of Mathematics, Stanford University, Stanford, California 94305; and Department of Mechanical Engineering, Stanfor d University, Stanford, California 94305-4040 E-mail: [email protected], [email protected], and [email protected]...

We call our innate ability for computation the ‘mathematica utens’. This paper is an attempt to introduce a cognitively based semiotic model for the concepts of such ‘naive’ mathematics. We argue that (naive) mathematics is a level of knowledge representation mediating between (naive) logic and natural language.

Like Philosophy, Mathematics deals with abstract ideas, i.e. immaterial objects which inhabit and work in the Mind. The chapter “Computation in Mind” proposes to use the power of computational mathematics to explore some of the universal ways by which each human mind builds its “imago mundi”, its image of the world. The primary focus is put on epistemology and the use of mathematics is minimal,...