„Richardson-tétel” változatai közötti eltérés
| [ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
Nincs szerkesztési összefoglaló |
a Bottal végzett egyértelműsítés: Pi –> Pi (szám) |
||
7. sor:
Ezt az állítást (tételt) Daniel Richardson, angol matematikus bizonyította 1968-ban, az Bath-i egyetemen (Egyesült Királyság).
A tétel azokra a kifejezésekre igaz, melyek racionális számok, a [[Pi (szám)|π]] szám, a [[natural logarithm|log 2]], az ''x'' változó, az összeadás, kivonás, szorzás, függvény kompozíció, szinusz, [[exponenciális függvény]] és abszolútérték függvényekből épülnek fel.
Vannak olyan kifejezés fajták (melyeket más primitívek alkotnak, mint a Richardson elméletben említettek), ahol léteznek algoritmusok, melyekkel meg lehet határozni, hogy a kifejezés zéró. <ref>[http://portal.acm.org/citation.cfm?id=190429 The identity problem for elementary functions and constants by Richardson and Fitch] (pdf file)</ref>
27. sor:
*[[Konstans probléma]]
*[[Racionális szám]]
*[[Pi (szám)|π]]
*[[Algoritmus]]
*[[Exponenciális függvény]]
| |||