Hello, I'm learning Esperanto and I also study mathematics and I'm looking for a good reference for mathematical terms in Esperanto.
I'm specifically interested in being able to write mathematical proofs in Esperanto.
I took a look at the resources on lernu but it is missing some pretty basic terms, such as "even" or "odd."
I've seen that "ecx" means even, but I'm not sure if it can mean mathematically even (divisible by 2)
If anyone knows how to say "contradiction" that would help too.
Thanks =)

I'm very interested about that too, since "iam" (some day?) I intend to contribute to the Esperanto Wikipedia.

Probably you will be able to find something there. Perhaps here (just observe I am too lazy to read it): http://eo.wikipedia.org/wiki/Matematiko#Esperanto_... . I've got surprised with Vikipedio, both positively (it seems there are mathematicians who speak Esperanto. E.g., there is some set theory: http://eo.wikipedia.org/wiki/Arteorio) and negatively (the articles are too short).

Hmm.....perhaps:
Para - even
Nepara - odd
Kontraŭdiro - contradiction

These are what I found. Anyone else have any other ideas?

Thanks for those links - however I don't think my Esperanto is good enough to read them. Hopefully in time they will be very useful references for me though.

As for angel's suggestions, as far as I can tell they look good, with the caveat that malpara might be preferable to nepara to mean odd. Since nepara literally means "not even" 1.5 would be "nepara" but it isn't odd.

I'm also trying to find out how to say "coprime"
Another question I have is whether a square root should be written duaradiko or duradiko.
Once I figure those out I'll have written my first proof =)

Seth442:
I'm also trying to find out how to say "coprime"
Once I figure that one out I'll have written my first proof =)

Good! I am glad you grasp the difference between "mal-" and "ne-" that quickly! It actually took me a while to figure out how Esperanto is different from Newspeak. Obviously studying math DOES help your critical thinking. Furoras Matematik'!

By looking up the Vikipedio, "coprime" seems to be "interprimo". It makes a lot of sense since the two numbers are "primo" to each other, thus "inter". Vikipedio is really a good source when there is some faka...er Subject jargons you are not sure about.

And actually you know what, in the First Book and in the later Nova Krestomatio also there have always been a few math-related articles. They might also be of help!

Have fun exploring! I hope to see your work soon!

Although this is originally about computer science, you can find some mathematical terms here. But there are only few for mathematics, it's not so useful.

Ok, here is my proof that sqrt(2) is irrational:

Jen, mi pruvos tion, ke la duradiko da du estas neracionalo.
Pruvi tion, mi uzos la metodon da kontrauxdiro.
Mi nomos la duradikon da du x.
Suposu x estas racionalo kaj skribu x = n/m en kiu n kaj m estas interprimaj.
Rimarku tion, ke x^2 = (n/m)^2 = n^2/m^2 = 2 do n^2 = 2m^2.
Pro tio, n^2 bezonas esti para. Do ankaux n bezonas esti para, cxar se n ne estus para, n^2 estus malpara cxar la produto da du da malparaj numeraloj estas malpara.
Pro n estas para, skribu n = 2k en kiu k estas entjero.
Rimarku tion, ke (2k)^2 = 2m^2 do 2k^2 = m^2 do m^2 estas para. Pro la sur racio m estas para.
Sekve ni scias ke n kaj m estas paraj, sed tio kontrauxdiras la fakto ke n kaj m estas interprimaj.
Do, per cxi kontrauxdiro, la duradiko da du estas neracionalo.
QED

Feel free to offer suggestions to improve my Esperanto.

http://reta-vortaro.de havas multajn matematikajn terminojn (ofte danke al Marc Bavant, kiu aŭtoris bonan utilan libron "Matematika Terminaro", kiun mi rekomendas al matematikemaj Esperantistoj.)

Vi petis lingvajn korektojn, do:

Seth442:Ok, here is my proof that sqrt(2) is irrational:

Jen, mi pruvos tion, ke la duradiko da du estas neracionalo.
Pruvi tion, mi uzos la metodon da kontrauxdiro.
Mi nomos la duradikon da du x.
Suposu x estas racionalo kaj skribu x = n/m en kiu n kaj m estas interprimaj.

Supozu ke ...

Rimarku tion, ke x^2 = (n/m)^2 = n^2/m^2 = 2 do n^2 = 2m^2.
Pro tio, n^2 bezonas esti para.

"devas esti" ŝajnas pli taŭĝa ol "bezonas esti", laŭ mi.

Do ankaux n bezonas esti para, cxar se n ne estus para, n^2 estus malpara cxar la produto da du da malparaj numeraloj estas malpara.

la produto de du malparaj nombroj estas malpara
("numeralo" is like English numeral, the written symbol which means a number ("nombro"))

Pro n estas para,

Pro tio, ke n estas para
aŭ
Ĉar n estas para

skribu n = 2k en kiu k estas entjero.
Rimarku tion, ke (2k)^2 = 2m^2 do 2k^2 = m^2 do m^2 estas para. Pro la sur racio m estas para.

Mi ne komprenas kion vi celis per "Pro la sur racio". Eble "Per la antaŭa rezonado" (By the previous reasoning)?

Sekve ni scias ke n kaj m estas paraj, sed tio kontrauxdiras la fakto

akuzativo por rekta objekto...

ke n kaj m estas interprimaj.
Do, per cxi kontrauxdiro, la duradiko da du estas neracionalo.
QED

Feel free to offer suggestions to improve my Esperanto.

I don't see "duradiko" for "square root". I have seen "dua radiko" (which seems more sensible) and "kvadrata radiko".
According to Bavant, "primaj inter si" is how to express the notion of being mutually prime.

Hope that helped!

Let's not forget the list of mathematical vocabulary right here at lernu!

Seth442:Ok, here is my proof that sqrt(2) is irrational:

Jen, mi pruvos tion, ke la duradiko da du estas neracionalo.
Pruvi tion, mi uzos la metodon da kontrauxdiro.
Mi nomos la duradikon da du x.
Suposu x estas racionalo kaj skribu x = n/m en kiu n kaj m estas interprimaj.
Rimarku tion, ke x^2 = (n/m)^2 = n^2/m^2 = 2 do n^2 = 2m^2.
Pro tio, n^2 bezonas esti para. Do ankaux n bezonas esti para, cxar se n ne estus para, n^2 estus malpara cxar la produto da du da malparaj numeraloj estas malpara.
Pro n estas para, skribu n = 2k en kiu k estas entjero.
Rimarku tion, ke (2k)^2 = 2m^2 do 2k^2 = m^2 do m^2 estas para. Pro la sur racio m estas para.
Sekve ni scias ke n kaj m estas paraj, sed tio kontrauxdiras la fakto ke n kaj m estas interprimaj.
Do, per cxi kontrauxdiro, la duradiko da du estas neracionalo.
QED

Feel free to offer suggestions to improve my Esperanto.

"da" estas uzata por kvantaj esprimoj, ekz. "kilogramo da zukero" aŭ "taso da lakto". Mi preferus "radiko de 2" aŭ "radiko el 2", kaj same por produto.

"QED" enhavas neesperantan literon Q, do eble oni traduku ĝin: KEP = Kio estis pruvenda.