Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge (Q2663667)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge |
scientific article |
Statements
Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge (English)
0 references
19 April 2021
0 references
The authors discuss what Big Math developments include. In particular, Big Math projects include five main aspects: inference, computation, concretization, narration, and organization. Computer support exists for all of these five aspects of Big Math projects. The authors propose that computer-based mathematical assistants should have a tetrapodal structure, integrating inference, computation, concretization, and narration centered around a shared knowledge organization feature.
0 references
Big Math
0 references
