Results 11 to 20 of about 528,576 (239)

Another Journal on Mathematical Logic and Mathematical Physics? [PDF]

Axioms, 2011
It is my great pleasure to welcome you to Axioms: Mathematical Logic and Mathematical Physics, a new open access journal, which is dedicated to the foundations (structure and axiomatic basis, in particular) of mathematical and physical theories, not only
Angel Garrido
doaj   +2 more sources

Logic as Mathematical Science

Annals of the Japan Association for Philosophy of Science, 1963
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Haskell B. Curry
openaire   +5 more sources

Mathematical Logic and Deduction in Computer Science Education [PDF]

Informatics in Education, 2008
Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does not hold also for secondary level education.
Hashim HABIBALLA, Tibor KMET
doaj   +2 more sources

IVAN SLESHYNSKY AS A POPULARIZER OF THE IDEAS OF MATHEMATICAL LOGIC IN UKRAINE

Вісник Харківського національного університету імені В.Н. Каразіна. Серія Філософія, філософські перипетії, 2020
The first half of the twentieth century was marked by the simultaneous development of logic and mathematics. Logic offered the necessary means to justify the foundations of mathematics and to solve the crisis that arose in mathematics in the early ...
Marianna P. Plakhtiy
doaj   +1 more source

Impossibilities, mathematics, and logic

Qeios, 2023
Mathematics is known for its rigor. Owing to its rigor, mathematics is both loved and feared. Proof holds a pivotal position in the whole of mathematical rigor. Proof is required for something to be possible. Interestingly, proof is equally important and required for something to be declared impossible.
openaire   +1 more source

Unpacking the logic of mathematical statements [PDF]

, 1995
This study focuses on undergraduate students' ability to unpack informally written mathematical statements into the language of predicate calculus. Data were collected between 1989 and 1993 from 61students in six small sections of a “bridge" course ...
Selden, Annie
core   +1 more source

PEMBELAJARAN MATEMATIKA MENGGUNAKAN THINK TALK WRITE DITINJAU DARI KECERDASAN LOGIKA MATEMATIKA

Jurnal E-DuMath, 2016
This study aims to improve mathematics achievement of the students at MTs GUPPI Kresnomulyo in the academic year 2014-2015 by applying cooperative learning model, Think Talk Write and direct learning model in terms of mathematical logic intelligence in ...
Ari Suningsih
doaj   +1 more source

Frege, Peano and the Interplay between Logic and Mathematics

Philosophia Scientiæ, 2021
In contemporary historical studies, Peano is usually included in the logical tradition pioneered by Frege. In this paper, I shall first demonstrate that Frege and Peano independently developed a similar way of using logic for the rigorous expression and ...
Joan Bertran-San Millán
doaj   +1 more source

Is Mathematical Logic Really Necessary in Teaching Mathematical Proofs? [PDF]

Athens Journal of Education, 2020
As it is already observed by mathematicians and educators, there is a discrepancy between the formal techniques of mathematical logic and the informal techniques of mathematics in regards to proof.
Michael Aristidou
doaj   +1 more source

To teach logic to prospective mathematics teachers (Part III) [PDF]

Известия Саратовского университета. Новая серия: Серия Философия. Психология. Педагогика, 2022
Introduction. The article is the third part of the author’s article under the same title published in previous issues of this journal. It discusses the problem of forming the logical competencies of future mathematics teachers both at the undergraduate ...
Igoshin, Vladimir Ivanovich
doaj   +1 more source