Reports on two types of unsolvability in mathematics. One is an instance of impossibility and the second is a judgment of undecidability. Presents a number of examples of undecidable propositions. (GS)

Discusses the fraction system developed by the ancient Egyptians. Includes puzzles and number-theory problems. (MA)

Reviews the mathematical properties of algorithms and problems which can not be resolved by present methods in mathematics. (SL)

The need for incorporating algorithmics into mathematics instruction is presented. The proliferation of computers is seen to have made the designing of algorithms an essential skill. Examples are given, and the view that mathematics will lose much prestige and importance if algorithmics is not integrated into it is presented. (MP)

Each of the hand-held calculator logic systems found on the market today is introduced, along with some of the advantages and disadvantages of each. The systems reviewed are: arithmetic logic, algebraic logic-no hierarchy, algebraic operating system, and reverse polish notation. (MP)

The four-color theorem stating that any map in a plane can be colored using no more than four colors represents a problem suitable for the liberal arts student. Presented is an algorithm for coloring familiar maps through the temporary removal of states bordering three or fewer states. (MDH)

This paper presents an examination of the construction of logic in multidigit subtraction. Interviews were conducted with 90 grade 2 and grade 3 students to determine whether they understood the logic of borrowing and whether the construction of the logic was related to procedural expertise or corresponding conceptual knowledge. Of 34 students…

Describes the nature and use of computer algebra and its applications to various physical sciences. Includes diagrams illustrating, among others, a computer algebra system and flow chart of operation of the Euclidean algorithm. (SK)

Argues that the vast majority of adults have no use for the specialized mathematics taught in high schools and required by colleges--algebra, geometry, or calculus. Suggests that colleges should accept applicants who have studied percents, formulas, logic, computer commands, and basic statistics. (TE)

The objectives of this research were to review existing computer-assisted instruction systems for propositional calculus proofs or elementary logic and to develop an instructional computer program that guides students in the valid construction of propositional calculus proofs. The system is unique in that it provides assistance at each step of the…

The uses of programable calculators in the mathematics classroom are presented. A discussion of the "microelectronics revolution" that has brought programable calculators into our society is also included. Pointed out is that the logical or mental processes used to program the programable calculator are identical to those used to program…

This monograph is aimed at helping the reader understand the built-in logic of various calculator operating systems. It is an outgrowth of workshop contacts with in-service and pre-service teachers of mathematics and is in response to their request for a book on the subject of calculator logic systems and calculator algorithms. The mathematical…

Describes the Plane Geometry System computer software developed at the Educational Computer Systems laboratory in Sofia, Bulgaria. The system enables students to use the concept of "algorithm" to correspond to the process of "deductive proof" in the development of plane geometry. Provides an example of the software's capability…