| Type | |
| Field | Mathematics, logic, science, and philosophy |
| Debates | Formalism vs. anti-formalism • Foundations of mathematics • Symbolic logic • Philosophical implications of abstract symbolism |
| Creators | |
| Influenced | Mathematics • science • philosophy • early computers |
| Developed in | Russia (early 1800s) |