Matematické Fórum

↑ misaH: Díky za odpověď. To, že něco jako jednočlen neexistuje je naprosto zcestné tvrzení. Jednočlen je speciální případ mnohočlenu, takže existovat musí. Je to jako tvrdit, že neexistuje čtverec. Nerozumím z jakého důvodu by to někdo tvrdil. :-D
Jinak já si teda myslím, že správná odpověď existuje. Nedokážu si představit, že se doteď matematici nesjednotili na takové banalitě. Tedy buď existuje nějaké pravidlo, na kterém se většina dohodla, anebo je řešení v těch definicích. Chápu tvrzení o tom, že "si nedokážete představit, že jedna definice je "lepší" než druhá" a ve své podstatě s tím souhlasím. Na druhou stranu, pokud je jedna definice vystavěna na nějaké jiné definici (jako tomu je podle mě v tomto případě), pak si myslím, že by se k nim v případě potřeby (jako zde) mělo přistupovat tím "pyramidovým" způsobem jak jsem naznačil. Přece to nějak musí být ošetřeno - např. v rámci formální logiky.

↑ check_drummer: Možná se operace "÷" běžně nepoužívá, ale stále to znamená to stejné jako "/", nebo ne? A pokud ano, tak je priorita operací jasně stanovena. A to nehledě na to, jestli bychom pro dělení použili jakýkoliv jiný symbol. Ovšem asi nechápete problém který řeším. Já se nebavím o násobení a dělení, a o tom, která z těchto operací má přednost. Bavím se o tom, jestli v případě takového zápisu (který dle mého je naprosto korektní) je upřednostňována definice priority operací, nebo definice monomu (jestli vůbec něco). Já tvrdím, že je to definice monomu, protože přeci jen pro jeho definici potřebuju mít předem jasně definovány pojmy jako prvky číselného pole a operace s nimi, jinak bych v definici monomu "ax^n" nemohl tušit co je to číselný koeficient "a", nezáporné celé číslo "n" a to, co to znamená, že "a" je s "x" v součinu a ještě k tomu je "x" umocněné na "n". Z toho důvodu tvrdím to o prioritizaci definice monomu. A taky tvrdím, že řešení bychom mohli (snad) naleznout ve formální logice. Samozřejmě i odpověď, že tento zápis není korektní je relevantní odpovědí, avšak mi nikdo se stoprocentní určitostí doposud nic takového neřekl.

Jinak já si teda nemyslím, že je škoda, řešit něco takového. Kdybych řešil něco podobného u integrálů, derivací, nebo nevím kde, tak by to najednou bylo smysluplnější? Myslím, že je dost důležité ujednotit základní stavební prvky, abychom na nich mohli budovat zbytek.

Nehledě na to, že pokud si myslíte, že řešit takovýto problém nemá smysl, tak se k tomu samozřejmě vyjadřovat nemusíte. Já zde s tímto dotazem přišel, protože neznám lepší místo kde toto vyřešit. Pokud teda vypustím náš matematický ústav, kde se teď momentálně nedostanu.

↑ Aleš13: Upřímně vám trochu nerozumím. Asi jsme se nějak nepochopili. Jaký jiný výsledek než 12 by mohl mít tento výraz 6÷2(1+3)? Tento znak "÷" ačkoli se moc nepoužívá má stejný význam jako "/", a tedy platí priorita operací a v případě stejné priority počítání zleva doprava. Kdokoli by chtěl tvrdit, že výsledkem může být třeba 6/8, tak by mohl mít pravdu jen v případě, že používá jiné konvence ohledně priorit operací, ale v rámci vzájemného porozumění je třeba se držet toho, na čem se ujednotila většina, takže vlastně pravdu mít nebude.
Navíc opět - nebavím se momentálně o operacích jako takových a o jejich případné prioritě, ale o tom, že například z definice monomu by měla být (v tom příkladu co jsem postoval) 4 chápána jako koeficient onoho monomu, nikoli jako samostatný monom. A pokud chce někdo toto rozlišit, pak je na zapisovateli tohoto příkladu aby takto učinil.

Chobot napsal(a):

Myslím, že je dost důležité ujednotit základní stavební prvky, abychom na nich mohli budovat zbytek.

Ony ale ujednocene jsou, a to bez ohledu na to, jak se rozhodnes zapisovat deleni jednoclenu. Jedna z vyhod matematicke abstrakce je, ze kazde konzistentni znaceni povede k jedinym spravnym vysledkum, jen budou zapsany jinak.

.... jinak ve formální logice je x.y.z podle mě nekorektní výraz - pokud je operace . binární, tak se musí vždy závorkovat, tj. např. (x.y).z. Maximálně můžeme pro jednoduchost vyjadřování definovat, že x.y.z je zkratkou za (x.y).z.