历史与综述
This paper attempts to explain the mystery behind an 18th elephant that appears in many popular legends involving the division of a herd of 17 elephants into groups in the ratio 1/2:1/3:1/9.
This essay considers the special character of mathematical reasoning, and draws on observations from interactive theorem proving and the history of mathematics to clarify the nature of formal and informal mathematical language. It proposes…
In this expository paper we discuss a relatively new counterfeit coin problem with an unusual goal: maintaining the privacy of, rather than revealing, counterfeit coins in a set of both fake and real coins. We introduce two classes of…
Academic biography of Karl Weierstrass, his basic works, influence of his doctrine on the development of mathematics.
We review and develop two little known results on the equality of mixed partial derivatives which can be considered the best results so far available in their respective domains. The former, due to Mikusi\'nski and his school, deals with…
The level of test anxiety in mathematics subjects among early undergraduate students at The University of Nottingham Malaysia Campus is studied in this paper. The sample consists of 206 students taking several mathematics modules who…
Hypernom is a virtual reality game. The cells of a regular 4D polytope are radially projected to S^3, the sphere in 4D space, then stereographically projected to 3D space where they are viewed in the headset. The orientation of the headset…
Learning mathematics requires students to work in an independent way which is particularly challenging for such an abstract subject. Advancements in technology and, taking the student as the focus of his own learning, led to a change of…
Proof Designer is a computer software program designed to help Mathematics students learn to write mathematical proofs. Under the guidance of the user, Proof Designer assists in writing outlines of proofs in elementary set theory. Proof…
I aim to promote an alternative agenda for teaching modal logic chiefly inspired by the relationships between modal logic and philosophy. The guiding idea for this proposal is a reappraisal of the interest of modal logic in philosophy,…
In 1942, the famous astronomer and physicist Belgian Georges Lemaitre (1894-1966) published in the Bulletin of the class of Sciences of the Royal Academy of Belgium, an article in which he proposes a method that he calls "rational…
I have developed a pedagogy and textbook for teaching logic centered on what I call "logical worldviews". A logical worldview examines the close connection between philosophical commitments and the logical principles and method for a…
This paper is divided into two sections. In the first I give reasons for strongly recommending reading some of Henkin's expository papers. In the second I describe Leon Henkin's work as a social activists in the field of mathematics…
Logic is one of the most male-dominated areas within the already hugely male-dominated subject of philosophy. Popular hypotheses for this disparity include a preponderance of confident, mathematically-minded male students in the classroom,…
Science Olympiads are academical competitions with social impact due to the fact that they allow the detection of talent and promote science and critical thinking. In this work we portray the Mexican Logic Olympiad and we describe the…
We report on the idea to use colours to distinguish syntax and semantics as an educational tool in logic classes. This distinction gives also reason to reflect on some philosophical issues concerning semantics.
The purpose of this short paper is to describe a project to manufacture a 3D-print of a pendant that includes a logo. The methods described in this paper involve processing the image of the logo through a Mathematica script. These methods…
This paper describes the evolution of aspects of differential and algebraic gometry from the mid 17th century till the end of the 18th century.
In this short note, we describe the finite groups $G$ having $|G|-1$ cyclic subgroups. This leads to a nice characterization of the symmetric group $S_3$.
\'Etienne B\'ezout, member of the Acad\'emie Royale des Sciences, have to study some works and books sended at the Acad\'emy. In this article, we will look at this responsibility for Navy, before and after 1764, which is the year of…