Em aprendizado de máquina justo, os teoremas da impossibilidade demonstram que é matematicamente impossível para um algoritmo satisfazer simultaneamente múltiplos critérios de justiça aparentemente intuitivos, exceto em casos triviais. Por exemplo, um algoritmo geralmente não pode satisfazer tanto a paridade demográfica (taxas iguais de verdadeiros positivos entre os grupos) quanto a igualdade de probabilidades (taxas iguais de verdadeiros positivos e falsos positivos entre os grupos) se as taxas de base forem diferentes entre os grupos.











