[Lex Computer & Tech Group/LCTG] Mathematicians Have Found The Ninth Dedekind Number, After 32 Years of Searching

[George Gamota]

I am sorry but this does not sound like English...
George

-----Original Message-----
From: LCTG <lctg-bounces+ggamota=stma-llc.com at lists.toku.us> On Behalf Of Larry Wittig via LCTG
Sent: Sunday, November 19, 2023 11:36 AM
To: palbin24 at yahoo.com
Cc: Lex Computer Group <lctg at lists.toku.us>
Subject: Re: [Lex Computer & Tech Group/LCTG] Mathematicians Have Found The Ninth Dedekind Number, After 32 Years of Searching

The Dedekind numbers are a rapidly growing sequence of integers named after Richard Dedekind, who defined them in 1897. The Dedekind number
M(n) is the number of monotone boolean functions of n variables.
Equivalently, it is the number of antichains of subsets of an n-element set, the number of elements in a free distributive lattice with n generators, and one more than the number of abstract simplicial complexes on a set with n elements.


On Sat, Nov 18, 2023 at 9:33 PM Peter Albin via LCTG <lctg at lists.toku.us> wrote:
>
>
> https://www.sciencealert.com/mathematicians-have-found-the-ninth-dedek
> ind-number-after-32-years-of-searching
>
> Now, can someone explain what a Dedekind Number is in English? Is it worth a session?
>
> Peter
> ===============================================
> ::The Lexington Computer and Technology Group Mailing List::
> Reply goes to sender only; Reply All to send to list.
> Send to the list: LCTG at lists.toku.us      Message archives: http://lists.toku.us/pipermail/lctg-toku.us/
> To subscribe: email lctg-subscribe at toku.us  To unsubscribe: email 
> lctg-unsubscribe at toku.us Future and Past meeting information: 
> http://LCTG.toku.us List information: 
> http://lists.toku.us/listinfo.cgi/lctg-toku.us
> This message was sent to 9423lew at gmail.com.
> Set your list options: 
> http://lists.toku.us/options.cgi/lctg-toku.us/9423lew@gmail.com
===============================================
::The Lexington Computer and Technology Group Mailing List::
Reply goes to sender only; Reply All to send to list.
Send to the list: LCTG at lists.toku.us      Message archives: http://lists.toku.us/pipermail/lctg-toku.us/
To subscribe: email lctg-subscribe at toku.us  To unsubscribe: email lctg-unsubscribe at toku.us Future and Past meeting information: http://LCTG.toku.us List information: http://lists.toku.us/listinfo.cgi/lctg-toku.us
This message was sent to ggamota at stma-llc.com.
Set your list options: http://lists.toku.us/options.cgi/lctg-toku.us/ggamota@stma-llc.com