The ORM Foundation

Get the facts!

Browse by Tags

Sorry, but there are no more tags available to filter with.
  • 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...
    Posted to Philosophy (Forum) by VictorMorgante on Fri, Aug 22 2008
Page 1 of 1 (1 items)
© 2008-2015 The ORM Foundation: A UK not-for-profit organisation -------------- Terms of Service