Jon Awbrey · @Inquiry
85 followers · 292 posts · Server mathstodon.xyz
#ThemeOneProgram • #JetsAndSharks 2.1
• https://inquiryintoinquiry.com/2022/08/30/theme-one-program-jets-and-sharks-2/
Our #CactusGraph bears a vocabulary of \(41\) #LogicalTerms, each denoting a #BooleanVariable, so our proposition, call it \(``q",\) is a #BooleanFunction \(q:\mathbb{B}^{41}\to\mathbb{B}.\) Since \(2^{41}=2,199,023,255,552,\) its #TruthTable has \(>\) 2 trillion rows and its #VennDiagram has that many cells. There are \(2^{2^{41}}\) functions \(f:\mathbb{B}^{41}\to\mathbb{B},\) among which \(q\) is just one.
#LogicalGraphs #logic #venndiagram #truthtable #booleanfunction #booleanvariable #logicalterms #cactusgraph #JetsAndSharks #ThemeOneProgram
Jon Awbrey · @Inquiry
85 followers · 291 posts · Server mathstodon.xyz
#ThemeOneProgram • #JetsAndSharks 2
• https://inquiryintoinquiry.com/2022/08/30/theme-one-program-jets-and-sharks-2/
As we saw last time, Theme One reads the text file shown below and constructs a #CactusGraph #DataStructure in computer memory. The cactus graph represents a single #LogicalFormula in #PropositionalCalculus and that proposition embodies the #LogicalConstraints defining the Jets and Sharks #DataBase.
Jets and Sharks • Log File
• https://inquiryintoinquiry.files.wordpress.com/2022/08/theme-one-guide-e280a2-jets-and-sharks-e280a2-log-file.png
#logicalcacti #cactussyntax #Peirce #LogicalGraphs #logic #database #logicalconstraints #PropositionalCalculus #logicalformula #datastructure #cactusgraph #JetsAndSharks #ThemeOneProgram
Jon Awbrey · @Inquiry
82 followers · 269 posts · Server mathstodon.xyz
#ThemeOneProgram • #JetsAndSharks 1.4
• https://inquiryintoinquiry.com/2022/08/25/theme-one-program-jets-and-sharks-1/
Displayed below is the text expression of a #TraversalString which Theme One parses into a #CactusGraph #DataStructure in computer memory. The cactus graph represents a single #LogicalFormula in #PropositionalCalculus and this proposition embodies all the #LogicalConstraints defining the Jets and Sharks #DataBase.
#Logic #LogicalGraphs #Peirce
#CactusSyntax #LogicalCacti
#MinimalNegationOperators
#MinimalNegationOperators #logicalcacti #cactussyntax #Peirce #LogicalGraphs #logic #database #logicalconstraints #PropositionalCalculus #logicalformula #datastructure #cactusgraph #traversalstring #JetsAndSharks #ThemeOneProgram