✦ LIBER ✦

Mathematical Reasoning and Mathematical Conventions

✍ Scribed by John Boyd

Book ID: 111805012
Publisher: American Anthropological Association
Year: 1968
Tongue: English
Weight: 94 KB
Volume: 70
Category: Article
ISSN: 0002-7294
DOI: 10.1525/aa.1968.70.1.02a00160

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Coordinating mathematical concepts with

Coordinating mathematical concepts with the demands of authority: children’s reasoning about conventional and second-order logical rules

✍ Marta Laupa; Joe Becker 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 122 KB

Bilingualism and Mathematical Reasoning

✍ Lloyd Dawe 📂 Article 📅 1985 🏛 Teachers of English to Speakers of Other Languages 🌐 English ⚖ 374 KB

Nurturing Mathematical Reasoning

✍ Jennifer S. Thom, 📂 Article 📅 2011 🏛 National Council of Teachers of Mathematics ⚖ 663 KB

Beginning Mathematical Reasoning. Mathem

Beginning Mathematical Reasoning. Mathematical Reasoning Level Aby Doug Brumbaugh; Linda Brumbaugh

✍ Review by: Maxine Pincott 📂 Article 📅 2008 🏛 National Council of Teachers of Mathematics ⚖ 449 KB

Mathematical reasoning and familiar proc

Mathematical reasoning and familiar procedures

✍ Lithner, Johan 📂 Article 📅 2000 🏛 Taylor and Francis Group 🌐 English ⚖ 191 KB

Agent Based Mathematical Reasoning

✍ Christoph Benzmüller; Mateja Jamnik; Manfred Kerber; Volker Sorge 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 625 KB

In this contribution we propose an agent architecture for theorem proving which we intend to investigate in depth in the future. The work reported in this paper is in an early state, and by no means finished. We present and discuss our proposal in order to get feedback from the Calculemus community.