Jajj, hát köszönöm a bizalmat, nagyon kedves! Te az összes általad megtanult tétel bizonyításának idejét és bizonyítóját vissza tudnád mondani? Kétlem. Illetve szerinted mégis miért írtam a komment végére, hogy megkeresem a cikket, ha kell? Ne magadból indulj ki, kérlek.
Amúgy itt a cikk, de lehet túlmutat a te szellemi képességeiden: https://infoc.eet.bme.hu/turing.php