Half a croissant, on a plate, with a sign in front of it saying '50c'
h a l f b a k e r y
Neural Knotwork

idea: add, search, annotate, link, view, overview, recent, by name, random

meta: news, help, about, links, report a problem

account: browse anonymously, or get an account and write.

user:
pass:
register,


                 

axiomatic calculator

 Just say no to approximations
  (-1)
(-1) 		  [vote for,
against]

I think it would be nice to have a second calculator, different from my TI-85 and any other calculator that does pragmatic calculations and numerical analysis type stuff. This new device would be useful in theory classes, for doing proofs and geometric constructions based on fundamental axioms and theorems from modern algebra and geometry.
—cmeador, Apr 25 2001

The Metamath project http://metamath.org/
Metamath proves theorems from axioms. [aj, Apr 25 2001, last modified Oct 04 2004]

Please log in.
If you're not logged in, you can see what this page looks like, but you will not be able to add anything.
Short name, e.g., Bob's Coffee
Destination URL. E.g., https://www.coffee.com/
Description (displayed with the short name and URL.)






       I believe you're looking for a "symbolic math package"; examples include Mathematica, Maple, and MathCAD. They come as desktop computer software, since (unlike adding machines) they benefit from nontrivial computing power and require a high-bandwidth display.   

       They typically support numeric approximations as well as exact symbolic manipulation. Theorem provers and verifiers are separate and generally more experimental tools.   

       You could certainly run such a thing on a subcompact laptop, tablet PC, or perhaps even a high-powered PDA.
—egnor, Apr 25 2001
   

       I want one for metaphysical axioms.
—Dog Ed, Apr 25 2001
   

       i have way simpler wish - i could do with calculator which just says: "oh yes" or "no way".   

       say i want to calculate whether i can afford myself new pair of shoes this month. in most cases simple "yea" or "nay" would do just fine.
—nubian, Apr 25 2001
   

       Perhaps I should have mentioned that I have used math software. My idea isn't for software. It's for a "calculator", a handheld device for students to use. About 150$US. Maybe solar powered. =^)
—cmeador, Apr 25 2001
   

       Yeah, I want everything to be cheaper and smaller and better, too.
—egnor, Apr 25 2001
   

       Try the TI-89, the TI-92 (essentially the 89 w/QWERTY) or the HP-48(?) calculators.
—dsm, Apr 25 2001
   

       If you've read Issac Asimov's book, Foundation, there is what we would now call a tablet device were Hari Seldon does a derivation, a psychohistorical calculation to show a young mathematician that the galactic empire was inevitably going to collapse under its own weight.   

       After reading Foundation, I've always wondered if someone would ever develop such a calculator. When I heard about Mathematica, I thought this would be it, but not so much. I love Mathematica, but the idea is different.   

       The concept is you enter the equation, just as with a calculator you enter the numbers, and you tell the calculator which algebra and calculus steps to take, just as with an ordinary calculator you press buttons for arithmatic operations.   

       So you do the thinking, the real brain work, but the calculator does the steps without making a mistakes.   

       Steps would be like: cross multiply, factor, solve for, whatever.
—talldave, Jul 08 2003
   


 

back: main index
business  computer  culture  fashion  food  halfbakery  home  other  product  public  science  sport  vehicle