Hi Everyone, In the final section of the document I linked to earlier, I am trying to prove a principle that, if correct, would be a way to prove something is true for all sets in ZFC; the methods could possibly be adapted to other set theories. I still have a lot of work to do but it feels promising...
https://docs.google.com/document/d/1amDb4Yti4egpKfcO2oLcnGAH8UpC8_tKb7ivuH3AT7A/edit?usp=sharing The juicy parts start on page 10-11. I'd like to be proven wrong before I go much further! Cheers Brian On Thursday, May 7, 2015 at 9:30:50 AM UTC-7, Brian Tenneson wrote: > > Hi Bruno, > > Thank you! > > Cheers > Brian > > On Thursday, May 7, 2015 at 6:18:35 AM UTC-7, Bruno Marchal wrote: >> >> Hi Brian, >> >> >> On 06 May 2015, at 18:48, Brian Tenneson wrote: >> >> > Good morning Everything List, >> > >> > Bruno Marchal's (sorry if I misspelled your name, Bruno!) feedback >> > on my work has been instrumental in helping me realize when certain >> > ideas need revision. I have been trying to figure out which >> > mathematical entity is our external reality. Tegmark and others >> > have suggested that the universe is an ensemble of mathematical >> > objects, such as the ensemble of all computable structures defined >> > in Model theory. >> > >> > Thanks to Bruno, I have had to go back to the drawing board several >> > times, needing to completely scrap my ideas and start anew. And I >> > mean that sincerely. >> > >> > I have been working on something I call grammatical systems. There >> > already is a nice, neatly-formatted description of what I've got >> > over at physicsforums.com. I would appreciate your expert opinions >> > on what I have done so far. Now is a good time to have to scrap it >> > and return to the drawing board as I have not yet gotten very far. >> > >> > Thanks in advance for any and all feedback. Here is the link: >> https://www.physicsforums.com/threads/a-generalization-of-formal-systems-grammatical-systems.812241/ >> >> >> I will take a look, and plausibly make some comments, perhaps out-of- >> line. >> >> Best, >> >> Bruno >> >> >> >> >> http://iridia.ulb.ac.be/~marchal/ >> >> >> >> -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
