Is Mathematical Logic Really Necessary in Teaching Mathematical Proofs?

• Tác giả chính: Michael Aristidou (Tác giả)
• Định dạng: Sách
• Được phát hành: Athens Institute for Education and Research, 2020-02-01T00:00:00Z.
• Những chủ đề: article
• Truy cập trực tuyến: Connect to this object online.

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. We examine some of the reasons behind this discrepancy and to what degree it affects doing, teaching a...