Re: Computer checking of math "proofs"

We have to code software to check math "proofs". That is a huge job. You know software like maple for instance. But there are more.

Mathematics grows very fast with each time new notions. I think checking math "proofs" comes always behind.

You can code also in a not mathematical way. That is only shifting in the computer. And that are the only notions then. And then you can proof better things. But what is a full proof checking tool?

I am fond of the people who want to be more critical. They belong to our group.

Mathematics is surely great. But there are sciences as well. And that is not the same. There's quite some distance.

Spelling is grammar dependent and what are reliable grammer programs.

Please have a nice day

ed
.

Relevant Pages

  • Re: why lorentz transformation?
    ... If he didn't think that it was mathematics, ... Deal with the math or shut the fuck up. ... >| new coordinates xi, eta, zeta, tau, and no symbol is used to denote ... notation became important for you later in your posting. ...
    (sci.physics.relativity)
  • Re: Cantors Theory: Mathematical creationism
    ... Science is just another religion in that sense in that it's just another ... It came from mathematics. ... a big part of the foundation of math. ... what is said with language? ...
    (sci.math)
  • Re: Hard science of evolution
    ... they look at the math carefully and notice the unrealistic ... running through inertia-less pulleys that you encounter in Physics 101. ... And show that fitness really is heritable. ... always wanted to know if there was mathematics that can be used to ...
    (talk.origins)
  • Re: Survival langauge
    ... >>>the math involved. ... Literally everything is mathematics. ... >Universe, using mathematics. ... I don't agree that scientists have discovered any such thing. ...
    (alt.usage.english)
  • Re: Strange mathematics trends in Singapore
    ... PSLE is for primary school kids, not mathematics majors. ... Which brings me to my pet bitch - model math. ... and the examiners should have been conciously ...
    (soc.culture.singapore)