Here's the question you clicked on:

55 members online
  • 0 replying
  • 0 viewing

precal

  • 3 years ago

Meta-math what is that?

  • This Question is Closed
  1. frx
    • 3 years ago
    Best Response
    You've already chosen the best response.
    Medals 0

    http://en.wikipedia.org/wiki/Metamathematics

  2. precal
    • 3 years ago
    Best Response
    You've already chosen the best response.
    Medals 0

    ok so I learned something new today........ Thanks

  3. KFN
    • 3 years ago
    Best Response
    You've already chosen the best response.
    Medals 1

    Metamath is a language for developing strictly formalized mathematical definitions and proofs accompanied by a proof checker for this language and a growing database of thousands of proved theorems covering conventional results in logic, set theory, number theory, group theory, algebra, analysis, and topology, as well as topics in Hilbert spaces and quantum logic.

  4. precal
    • 3 years ago
    Best Response
    You've already chosen the best response.
    Medals 0

    Proof checker, cool........

  5. Not the answer you are looking for?
    Search for more explanations.

    • Attachments:

Ask your own question

Sign Up
Find more explanations on OpenStudy
Privacy Policy