Programa Origens: complexidade irredutível