Andrzej Grzegorczyk
Andrzej Grzegorczyk ( – ) est un mathématicien polonais. Il est connu pour son travail en calculabilité, logique et fondements des mathématiques.
Biographie
Grzegorczyk est né à Varsovie en Pologne. Il introduit la hiérarchie de Grzegorczyk, une hiérarchie de fonctions utilisée en théorie de la complexité[1]. Il décède à Varsovie le de cause naturelle.
Références
(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Andrzej Grzegorczyk » (voir la liste des auteurs).
- (pl) « Zmarł prof. Andrzej Grzegorczyk, wybitny logik i filozof », (consulté le ).
Sources
- (en) Stanisław Krajewski et J Woleński, « Andrzej Grzegorczyk: Logic and Philosophy », Fundamenta Informaticae, vol. 81, nos 1–3, , p. 1–17 (ISSN 0169-2968)
Portail de l'informatique théorique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.