C63:算法正义律令推论 (Algorithmic Justice Imperative Corollary)
推论依据: T443 + T336 + T456
推论陈述: 算法系统必须嵌入正义原则,算法的公正性是数字社会的基础要求
严格推导
前提1: 算法正义要求公平的计算实现(T443) 前提2: 算法伦理提供道德评价标准(T336) 前提3: 密码算法保护隐私权利(T456)
逻辑推导: 算法正义确立算法系统的道德责任 算法伦理提供算法设计的道德约束 密码算法保护个人权利和自由 因此,正义原则必须内嵌于所有算法
∴ 没有正义的算法就没有正义的社会 □