The ORM Foundation

Get the facts!

Search

Page 1 of 6 (52 items) 1 2 3 4 5 Next > ... Last »
  • Re: Hilbert's Program and the Formalisation of ORM

    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 ...
    Posted to Philosophy (Forum) by VictorMorgante on 09-03-2008
  • Re: Hilbert's Program and the Formalisation of ORM

    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 ...
    Posted to Philosophy (Forum) by VictorMorgante on 09-01-2008
  • Re: Hilbert's Program and the Formalisation of ORM

    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 ...
    Posted to Philosophy (Forum) by VictorMorgante on 09-01-2008
  • Re: Hilbert's Program and the Formalisation of ORM

    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 ...
    Posted to Philosophy (Forum) by VictorMorgante on 09-01-2008
  • Re: Hilbert's Program and the Formalisation of ORM

    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 ...
    Posted to Philosophy (Forum) by VictorMorgante on 08-29-2008
  • Re: Hilbert's Program and the Formalisation of ORM

    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.
    Posted to Philosophy (Forum) by VictorMorgante on 08-27-2008
  • Re: Hilbert's Program and the Formalisation of ORM

    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 ...
    Posted to Philosophy (Forum) by VictorMorgante on 08-27-2008
  • Re: Hilbert's Program and the Formalisation of ORM

    Hi Terry, Thank you. Unfortunately, for me that just restates and reaffirms the question. Best regds Victor
    Posted to Philosophy (Forum) by VictorMorgante on 08-27-2008
  • Re: Hilbert's Program and the Formalisation of ORM

    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    
    Posted to Philosophy (Forum) by VictorMorgante on 08-22-2008
  • Hilbert's Program and the Formalisation of ORM

    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' ...
    Posted to Philosophy (Forum) by VictorMorgante on 08-22-2008
Page 1 of 6 (52 items) 1 2 3 4 5 Next > ... Last »
© 2008-2014 The ORM Foundation: A UK not-for-profit organisation -------------- Terms of Service