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/