Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation (Q2407885)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation |
scientific article |
Statements
Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation (English)
0 references
6 October 2017
0 references
automated theorem proving
0 references
automated reasoning
0 references
abstract argumentation
0 references
argumentation
0 references
collaborative intelligence
0 references
dialogue games
0 references
Lakatos
0 references
mathematical argument
0 references
structured argumentation
0 references
social creativity
0 references
philosophy of mathematical practice
0 references
0 references
