b'\n_START_ARTICLE_\nHierarquia de Grzegorczyk\n_START_PARAGRAPH_\nA hierarquia de Grzegorczyk (pron\xc3\xbancia: [\xc9\xa1\xca\x90\xc9\x9b\xcb\x88\xc9\xa1\xc9\x94rt\xe2\x80\x8b\xcd\xa1\xca\x82\xc9\xa8k]), denomina\xc3\xa7\xc3\xa3o em refer\xc3\xaancia ao l\xc3\xb3gico polaco Andrzej Grzegorczyk, \xc3\xa9 uma hierarquia de fun\xc3\xa7\xc3\xb5es usadas em teoria da computa\xc3\xa7\xc3\xa3o (Wagner and Wechsung 1986:43). Toda fun\xc3\xa7\xc3\xa3o na hierarquia de Grzegorczyk \xc3\xa9 uma fun\xc3\xa7\xc3\xa3o recursiva primitiva, e toda fun\xc3\xa7\xc3\xa3o recursiva primitiva aparece na hierarquia em algum n\xc3\xadvel. A hierarquia lida com taxas de fun\xc3\xa7\xc3\xb5es crescentes. Intuitivamente, fun\xc3\xa7\xc3\xb5es em n\xc3\xadveis baixos da hierarquia crescem mais devagar que fun\xc3\xa7\xc3\xb5es em n\xc3\xadveis mais altos.\n_START_SECTION_\nExtens\xc3\xb5es\n_START_PARAGRAPH_\nA hierarquia de Grzegorczyk pode ser estendida para ordinal transfinito. Tal extens\xc3\xa3o define uma hierarquia de crescimento r\xc3\xa1pido. Para fazer isso, as fun\xc3\xa7\xc3\xb5es geradoras  tem que ser recursivamente definida por ordinais limitados (observe que eles j\xc3\xa1 eram recursivamente definidos para ordinais sucessores pela rela\xc3\xa7\xc3\xa3o ). Se existe uma forma padr\xc3\xa3o de definir a sequencia fundamental , cujo ordinal limitado \xc3\xa9 , ent\xc3\xa3o a fun\xc3\xa7\xc3\xa3o geradora pode ser definida como . Contudo, esta defini\xc3\xa7\xc3\xa3o depende de um padr\xc3\xa3o de se definir a sequencia fundamental. Rose (1984) sugere uma forma padr\xc3\xa3o para todo ordinal \xce\xb1 < \xce\xb5\xe2\x82\x80._NEWLINE_A extens\xc3\xa3o original foi devido a Martin L\xc3\xb6b e Stan S. Wainer (1970) e as vezes \xc3\xa9 chamada de L\xc3\xb6b\xe2\x80\x93Wainer hierarchy.'