User:IssaRice/Logical induction notation

This is in user space because it's not really about machine learning.

Term	Notation	Type	Definition	Notes
${\mathcal {F}}$-combination	$A$	${\mathcal {S}}\cup \{0,1\}\to {\mathcal {F}}_{n}$		Function application of an ${\mathcal {F}}$-combination uses square brackets instead of parentheses.
Holdings from $T$ against ${\overline {\mathbb {P} }}$ (a $\mathbb {Q}$-combination)	$T({\overline {\mathbb {P} }})$	${\mathcal {S}}\cup \{0,1\}\to \mathbb {Q}$

External links

• https://arbital.com/p/logical_inductor_nota/
• https://arbital.com/p/logical_induction/