[CG] Re: Theme One Program • Jets and Sharks

Theme One Program • Jets and Sharks 2 • https://inquiryintoinquiry.com/2024/06/22/theme-one-program-jets-and-sharks… Re: Theme One Program • Jets and Sharks 1 • https://inquiryintoinquiry.com/2024/06/20/theme-one-program-jets-and-sharks… Example 5. Jets and Sharks (cont.) As we saw last time, Theme One reads the text file shown below and constructs a cactus graph data structure in computer memory. The cactus graph represents a single logical formula in propositional calculus and that proposition embodies the logical constraints defining the Jets and Sharks data base. Theme One Guide • Jets and Sharks • Log File • https://inquiryintoinquiry.files.wordpress.com/2022/08/theme-one-guide-e280… Our cactus graph incorporates a vocabulary of 41 logical terms, each of which represents a boolean variable, so the proposition in question, call it “q”, is a boolean function of the form q : B⁴¹→B. Given 2⁴¹ = 2,199,023,255,552 we know a truth table for q takes over two trillion rows and a venn diagram for q takes the same number of cells. Topping it off, there are 2^(2⁴¹) boolean functions of the form f : B⁴¹→B and q is just one of them. Measures of strategy are clearly needed to negotiate patches of cacti like those. Resources — Theme One Program • Overview • https://oeis.org/wiki/Theme_One_Program_%E2%80%A2_Overview Theme One Program • Exposition • https://oeis.org/wiki/Theme_One_Program_%E2%80%A2_Exposition Theme One Program • User Guide • https://www.academia.edu/5211369/Theme_One_Program_User_Guide Survey of Theme One Program • https://inquiryintoinquiry.com/2024/02/26/survey-of-theme-one-program-6/ Regards, Jon cc: https://www.academia.edu/community/V319WE