Got Homework?
Connect with other students for help. It's a free community.
Here's the question you clicked on:
 0 viewing

This Question is Closed

frx Group TitleBest ResponseYou've already chosen the best response.0
http://en.wikipedia.org/wiki/Metamathematics
 2 years ago

precal Group TitleBest ResponseYou've already chosen the best response.0
ok so I learned something new today........ Thanks
 2 years ago

KFN Group TitleBest ResponseYou've already chosen the best response.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.
 2 years ago

precal Group TitleBest ResponseYou've already chosen the best response.0
Proof checker, cool........
 2 years ago
See more questions >>>
Your question is ready. Sign up for free to start getting answers.
spraguer
(Moderator)
5
→ View Detailed Profile
is replying to Can someone tell me what button the professor is hitting...
23
 Teamwork 19 Teammate
 Problem Solving 19 Hero
 Engagement 19 Mad Hatter
 You have blocked this person.
 ✔ You're a fan Checking fan status...
Thanks for being so helpful in mathematics. If you are getting quality help, make sure you spread the word about OpenStudy.