Re: [math-fun] Tarski and Multiplication
You might try the book that is referenced: Tarski, Alfred; Jan Tarski (24 March 1994). Introduction to Logic and to the Methodology of Deductive Sciences (4 ed.). USA: OUP. ISBN 978-0-19-504472-0 Or you might try to contact the wikipedia article editor. At 10:15 AM 7/7/2014, Scott Fenton wrote:
Hi all,
In Tarski's "Introduction to Logic", he gave a nice little set of eight axioms that he says uniquely define the real numbers ( http://en.wikipedia.org/wiki/Tarski%27s_axiomatization_of_the_reals). He further said that, using less than, cuts, and addition, you could define multiplication in this system. Does anyone here know if he published anything else on this system? I can't seem to dig anything up, and I'd like to know how he defined things.
Thanks, -Scott
Hi Henry, That citation's the one I found already. I'll try the editor though. Thanks for the idea. -Scott On Mon, Jul 7, 2014 at 1:39 PM, Henry Baker <hbaker1@pipeline.com> wrote:
You might try the book that is referenced:
Tarski, Alfred; Jan Tarski (24 March 1994). Introduction to Logic and to the Methodology of Deductive Sciences (4 ed.). USA: OUP. ISBN 978-0-19-504472-0
Or you might try to contact the wikipedia article editor.
At 10:15 AM 7/7/2014, Scott Fenton wrote:
Hi all,
In Tarski's "Introduction to Logic", he gave a nice little set of eight axioms that he says uniquely define the real numbers ( http://en.wikipedia.org/wiki/Tarski%27s_axiomatization_of_the_reals). He further said that, using less than, cuts, and addition, you could define multiplication in this system. Does anyone here know if he published anything else on this system? I can't seem to dig anything up, and I'd like to know how he defined things.
Thanks, -Scott
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
participants (2)
-
Henry Baker -
Scott Fenton