پستها: 15
زبان: English
Seth442 (نمایش مشخصات) 7 ژوئیهٔ 2010، 2:56:18
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 =)
feliz123 (نمایش مشخصات) 7 ژوئیهٔ 2010، 3:32:16
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).
angel32163 (نمایش مشخصات) 7 ژوئیهٔ 2010، 3:59:43
Para - even
Nepara - odd
Kontraŭdiro - contradiction
These are what I found. Anyone else have any other ideas?
Seth442 (نمایش مشخصات) 7 ژوئیهٔ 2010، 4:41:50
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 =)
LyzTyphone (نمایش مشخصات) 7 ژوئیهٔ 2010، 4:54:33
Seth442: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.
I'm also trying to find out how to say "coprime"
Once I figure that one out I'll have written my first proof =)
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!
utku (نمایش مشخصات) 7 ژوئیهٔ 2010، 5:06:43
Seth442 (نمایش مشخصات) 7 ژوئیهٔ 2010، 5:27:09
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.
russ (نمایش مشخصات) 7 ژوئیهٔ 2010، 6:22:42
Vi petis lingvajn korektojn, do:
Seth442:Ok, here is my proof that sqrt(2) is irrational:Supozu ke ...
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."devas esti" ŝajnas pli taŭĝa ol "bezonas esti", laŭ mi.
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.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.Mi ne komprenas kion vi celis per "Pro la sur racio". Eble "Per la antaŭa rezonado" (By the previous reasoning)?
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 faktoakuzativo por rekta objekto...
ke n kaj m estas interprimaj.I don't see "duradiko" for "square root". I have seen "dua radiko" (which seems more sensible) and "kvadrata radiko".
Do, per cxi kontrauxdiro, la duradiko da du estas neracionalo.
QED
Feel free to offer suggestions to improve my Esperanto.
According to Bavant, "primaj inter si" is how to express the notion of being mutually prime.
Hope that helped!
erinja (نمایش مشخصات) 7 ژوئیهٔ 2010، 12:32:58
fizikisto (نمایش مشخصات) 7 ژوئیهٔ 2010، 12:51:55
Seth442:Ok, here is my proof that sqrt(2) is irrational:"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.
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.
"QED" enhavas neesperantan literon Q, do eble oni traduku ĝin: KEP = Kio estis pruvenda.