User loginNavigation |
Need volunteer help/feedback from stronger academic/competent profiles (on testing T-diags expressiveness with semantics, etc)Hello all, I'm really not academic (I don't even have a B. Sci. :(, but I try to keep myself up to date enough on theoretical topics, and that I really care about in general, by the way. Some background info on my current experiments relevant to this post and some rationale, is available there : #1 http://www.ysharp.net/the.language/rationale Not wanting to waste anyone's time, just know upfront that it's about this formerly codenamed "Oslo" and what it is, maybe, missing (as my intuition suspects) for it to scale well enough (— but, as one's own intuition is never enough to draw any useful conclusion to build upon, of course, hence my current effort at formalizing my feeling "at a minimum"). Then, as I intend to publish more about it using a specific notation, and that I leveraged for my purpose, I had to "push the envelope" further with this notation, testing my uncommon usage of it against better known topics, that have been studied for much longer(*) until today. This is for me to see if that would lead me too easily to anything absurd/unconstructive. Here's the result: #2 http://www.ysharp.net/the.language/rationale/T_Party_0.html If (and only if) this latter draft of ideas is not totally non-sensical to you and you find it interesting enough, I'd love to hear from you and about your advice on how I/we could formalize it more seriously. Or I'd just love anyone to show me where are the biggest reasoning flaws in my statements. Note I'm well aware it's unlikely I've found anything really new from a theoretical PoV, but I have some ideas about a hopefully useful application, to address the issue at hand. Thank you in advance, & merry end of year holidays to all. (*) (> 70 years or more...) By Cyril at 2009-12-24 04:12 | LtU Forum | previous forum topic | next forum topic | other blogs | 4451 reads
|
Browse archives
Active forum topics |
Recent comments
22 weeks 6 days ago
22 weeks 6 days ago
22 weeks 6 days ago
45 weeks 19 hours ago
49 weeks 2 days ago
50 weeks 6 days ago
50 weeks 6 days ago
1 year 1 week ago
1 year 6 weeks ago
1 year 6 weeks ago