„Péter Rózsa” változatai közötti eltérés
| [nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a robot Adding: fr:Rózsa Péter |
|||
6. sor:
Évfolyamtársa, élethossziglani barátja, [[Kalmár László]] hívta fel figyelmét
a [[parciálisan rekurzív függvények]]re, amelyek alapvető szerepet játszottak [[Kurt Gödel|Gödel]] [[Gödel első nemteljességi tétele|nem-teljességi tétel]]ének bizonyításában. Így kezdett el
[[rekurzióelmélet]]tel, többek között a [[primitív rekurzív függvény]]ek elméletével foglalkozni. Rekurzív függvényekről ő írta az első monográfiát. A szakirodalom ma is az ő egyszerűsített változatában használja G. Sudan (1927) és W. Ackermann (1928) példáját rekurzív, de nem primitív rekurzív függvényre ([[Ackermann-függvény]]).
| |||