# Reasoning records whose kind is math-type

> 11 records

This index as JSON: https://banes-lab.com/json/api/facets/reasoning/kind/math-type

## Entries

- [Set Theory](https://banes-lab.com/records/reasoning/math-type-set-theory.md): What members exist?
- [Logic](https://banes-lab.com/records/reasoning/math-type-logic.md): Does it hold, and what follows from it?
- [Graph](https://banes-lab.com/records/reasoning/math-type-graph.md): What connects what?
- [Algebra](https://banes-lab.com/records/reasoning/math-type-algebra.md): How are parts arranged under laws?
- [Analysis](https://banes-lab.com/records/reasoning/math-type-analysis.md): How do states vary?
- [Optimization](https://banes-lab.com/records/reasoning/math-type-optimization.md): What is admissible or best?
- [Topology](https://banes-lab.com/records/reasoning/math-type-topology.md): What is preserved under change?
- [Probability](https://banes-lab.com/records/reasoning/math-type-probability.md): How certain or likely is it?
- [Information Theory](https://banes-lab.com/records/reasoning/math-type-information-theory.md): What is novel, and how compressible is it?
- [Computation](https://banes-lab.com/records/reasoning/math-type-computation.md): What procedure produces it?
- [Dynamical Systems](https://banes-lab.com/records/reasoning/math-type-dynamical-systems.md): What stable pattern arises, and has it converged?