January & February 2024 - Working on fixing file organization.

Also adding additional work.

Contents

1. Documents on Programming and Installing Life and Unicon
2. Documents on Philosophy [To Come]
3. My Philosophy Revised to use qqqq predicate
4. My Philosophy of Logic
5. My Philosophy partly modified for Whitehead Ontology [To Come]
6. The Game of Life in Life [To Come]
7. Satisfiability is an NP complete promlem. There is no known polynomial time solution. If one is published with proof and it is peer reviewed for one year, and holds up, there is a one million dollar reward. Working on my philosophy I cam up with the solution below. It seems too fast to be exponential time. But I don't know. I may not have a worst case problem. Also I have no proof. If you ever saw the TV show Numb3rs, this was the problem the math professor was trying to solve. For the sat_m_n.lf test there are 2^n variables (which may be the same) for propositions. If m is 1 the variables for the propositoions are all different. If m is 2 the variables are all the same. If m is 3 the variables are random.
8. Satisfiability in SWI Prolog It was initially done in WildLIFE. I had a problem and tried SWI Prolog. It didn't solve the problem, which tuned out to be error in test data. But I made other improvements, and didn't want to maintain two versions.]
9. Investigation into predicative and impredicative comprehension [Not Finished - But Some Here]
10. Unicon program to convrert PM dot notation to parentheses and Polish [Dot to paren works but program to split lines that are too long has some problems]

Dennis J. Darland, phil at eclectic-philosopher dot com