The ORM Foundation

Hi Brian, The example is quoted almost verbatim from Dr Halpin's thesis (See Proof 1, p. 'A-4' of Dr Halpin's thesis). Perhaps you may dignify this forum by adding commentary on your comments "In the image you attached to the post, it looks like the sample population table entries are not sufficient to indicate the choice of ...

Hi Brian, Thank you for participating. If you want to ask questions about isomorphism in general, you might like to start a different thread. Answers to my questions may answer yours. Is there an echo in here? An answer fitting to the quality of that question... I used to have a wheelbarrow like that...but the wheels fell off! It was just the ...

Hi Brian, No problem. I think that in the quality of your questions it shows that you have almost made the leap without me, if you haven't by the time I write this. The master is TH on this one, and for me to say any more would be to re-write the thesis in question. I don't want to say any more. I chose the passage, in part poetic and ...

Hi Brian,   You and I share enough mails off-line for me to know that if you just wanted the answer, you'd ask me off-line. So, in fear of being led around by socratic method, let me flip this in a way that only an Aussie would and say that because I started this thread...I kinda get to be the one to play Socrates.   In reading ...

Hi Brian, Well, you've set me a bit of a task there, as I operate best as a student. But if you allow me to provide examples by way of a teachers lot in life...that of always being a student, then no problem..I am more than happy to share what I know. I'll provide a few analogies and examples of isomorphism first, to work up to the ...

Hi Terry, Oh...Okay. Well that's pretty cool. I would never have known that from the literature that I've read. Thank you Dr, I think that opens up some fairly interesting possibilities in ORM research. Best regds Victor PS I've still got the question, "what else is isomorphic with ORM?" but perhaps that is another thread.

Hi Terry, I just found that when I read your paper, it maps the isomorphism between Niam (ORM) and the formal theory used to do the proofs so well that when I see the Niam models, I see the proof of the formal theory. When I couple this with the fact that I learned Niam well before reading the paper, I had already accepted Niam as a formal ...

Hi Terry, Thank you. Unfortunately, for me that just restates and reaffirms the question. Best regds Victor

Hi Brian, Thank you for contributing and please forgive me, if you want to start a new thread on isomorphism in general, then i'm happy to answer your question there. The appropriate answer to my question may answer yours. Best regds Victor    

Hi all, At the turn of the last century and with the burgening of formal theories in mathematics, Hilbert lay down a challenge to mathematicians the world over to find solutions to the most pressing and challenging unsolved problems in mathematics. Among those problems was proving the consistency of the formal theories, the 'toolboxes' ...