Model D

[Petter]

https://en.wikipedia.org/wiki/Poincaré_conjecture

Conjectures are inductive processes, but deductive logic is much more important in mathematics and philosophy.

The process of solving mathematical problems/theorems includes analogy and categorization (i.e. shared structure), which do not try to achieve general conclusions.

------

mathematics and philosophy: deductive reasoning is hard, inductive reasoning is easy

science: inductive reasoning is hard, deductive reasoning is easy

Finding patterns (analogy etc) is hard in both mathematics/philosophy and science.

Deductive reasoning and inductive reasoning are (relatively) easy in both mathematics/philosophy and science.

The patterns are fuzzy/incomplete in science so heuristic methods are needed.