## erica.d Group Title what is meta math? one year ago one year ago

2. erica.d

oh

4. hba

Do you love to do maths ?

5. erica.d

is that how u define meta maths, n of course i love maths

6. erica.d

@TuringTest heyyy helppp

7. hba

"meta-mathematics" would be "mathematics about mathematics." For example Studying about originations like Where did 0 number orignate from Where did $\sqrt{}$ come from ?

8. erica.d

well, thats philosophy of mathematics thats not meta math n m positive bout that

9. hba

Even it can be based on theorems,dear future architect :)

10. erica.d

oh thank you :) but studying origin and development is philosophy of mathematics its not meta maths and meta maths if development of algorithm i guess

11. erica.d

and its basically a computer language @hba btw message me

12. erica.d

@Hero can u? :)

13. erica.d

@amistre64 help me

14. hba

Sure i'll message you mam.Meta maths is not a computer language though.

15. erica.d

lol its not a computer language its a language used to write mathematical algorithm like i guess you've heard of MATLAB

16. hba

Oh yeah,I am not so sure about it though.

17. erica.d

its ok (: m just curious to know

18. hba

@amistre64 Please pour some knowledge in our empty glasses.

19. amistre64

meta math was a user defined group that the admins decided to keep when they cleaned up the user created groups

20. erica.d

lol super complex @amistre64 didn't get u :C

21. hba

@amistre64 Your feedback did not provide what meta maths is ?

22. amistre64

the admins tried the idea that users could create their own groups. Users abused the priviledge and the admins took that functionality away. They eventually went thru and deleted most of the user defined groups; but kept a few that had not been problematic

23. amistre64

mate math is one of the subgroups in mathematics as a result of there being nowhere else to put it, and not wanting to get rid of it

24. erica.d

what i got to know from wikipedia is as follows m not talking about this group here:- Metamath is a language for developing strictly formalized mathematical definitions and proofs[1] accompanied by a proof checker for this language and a growing[2] 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.

25. TuringTest

I have the honor of having named the group, so it means what I wanted it to mean ;) meta=above math=math it's basically for irregular advanced problems that would liley get lost in time if they were in a section as large as the general math group

26. TuringTest

likely*

27. TuringTest

by posting questions that require days to solve in a smaller group they are more likely to get regular attention from some of our better users. I didn't look up the meaning on Wikipedia when I made the name, I just wanted to describe that the group was outside of any particular branch of mathematics.

28. erica.d

@TuringTest then if i have question that deals with the definition of some mathematical term can i put it there for debate?

29. TuringTest

I guess, but I don't think it's the best place for it, as the group is much more slow-paced. You should probably just post that in regular math imo.

30. erica.d

hmm thanks (: