Dedekind numbers or Dedekind's problem: number of monotone Boolean functions of n variables, number of antichains of subsets of an n-set, number of elements in a free distributive lattice on n generators, number of Sperner families. https://oeis.org/A000372 https://en.wikipedia.org/wiki/Dedekind_number
%%% Após intenso esforço computacional o resultado acima foi encontrado quase que simultaneamente em duas universidades alemãs: https://www.sciencedirect.com/science/article/pii/S2772827723000037?via%3Dihub https://arxiv.org/abs/2304.03039 Mathematicians Have Found The Ninth Dedekind Number, After 32 Years of Searching https://www.sciencealert.com/mathematicians-have-found-the-ninth-dedekind-number-after-32-years-of-searching O resultado foi apresentado recentemente (também) no International Workshop on Boolean Functions and their Applications. https://boolean.w.uib.no/bfa-2023/ %%% Não há, atualmente, hardware disponível no mundo para permitir o cálculo do décimo número de Dedekind. JM -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhNk-iLedR_CW0Ccas_soDwugBdRvPHLuE0DTSc_nuC5g%40mail.gmail.com.
