| dbo:abstract
|
- A matematikában a Richardson-tétel megmutatja, milyen mértékben döntheti el egy algoritmus, hogy bizonyos matematikai kifejezések egyenlőek. A tétel szerint a kifejezések egy bizonyos osztályára eldönthetetlen, hogy egy adott E kifejezés kielégíti-e az E = 0 egyenletet, és hasonlóan meghatározhatatlan, hogy az E, illetve F kifejezéssel meghatározott függvények mindenhol azonosak-e. Ezt az állítást Daniel Richardson angol számítógéptudós bizonyította be 1968-ban a bath-i egyetemen (Anglia). A tétel azokra a kifejezésekre igaz, melyek a racionális számok, a π szám, a ln 2, az x változó, az összeadás, kivonás, szorzás, függvényösszetétel műveletek, valamint a szinuszfüggvény, exponenciális függvény és abszolútérték-függvény segítségével épülnek fel. Léteznek olyan, a fentiektől eltérő kifejezésosztályok, amelyekre algoritmikus úton eldönthető, hogy a kifejezés lehet-e zéró. (hu)
- A matematikában a Richardson-tétel megmutatja, milyen mértékben döntheti el egy algoritmus, hogy bizonyos matematikai kifejezések egyenlőek. A tétel szerint a kifejezések egy bizonyos osztályára eldönthetetlen, hogy egy adott E kifejezés kielégíti-e az E = 0 egyenletet, és hasonlóan meghatározhatatlan, hogy az E, illetve F kifejezéssel meghatározott függvények mindenhol azonosak-e. Ezt az állítást Daniel Richardson angol számítógéptudós bizonyította be 1968-ban a bath-i egyetemen (Anglia). A tétel azokra a kifejezésekre igaz, melyek a racionális számok, a π szám, a ln 2, az x változó, az összeadás, kivonás, szorzás, függvényösszetétel műveletek, valamint a szinuszfüggvény, exponenciális függvény és abszolútérték-függvény segítségével épülnek fel. Léteznek olyan, a fentiektől eltérő kifejezésosztályok, amelyekre algoritmikus úton eldönthető, hogy a kifejezés lehet-e zéró. (hu)
|
