Szegedi Tudományegyetem Matematikai és Természettudományi kar tanácsülései, 1947-1948, Szeged
1947. október 23. II. rendes ülés
munka, szigorú kritikai érzék, szívós kitartás, kitűnő megfigyelői és kísérleti készség jellemezik.- Meg kell még jegyeznem, hogy folyamodó 2 izhen nyert belföldi kutatási ösztöndíjat, s hogy az 1947-48.tanévre vagylagosan svájci ill. angliai m.állami ösztöndíjra pályázott; utóbbi pályázatát a Szegedi Tudományegyetem mat. és természettudományi kara «közérdekű*1 jelzéssel szakcsoportjában első helyen terjesztette fel az Crsz,Ösztöndijtanácshoz. Fentiekre való hivatkozással a tudományos succrescentia szempontjából feltétlenül fontosnak tartom, hogy folyamodó angliai vagy amerikai ösztöndíjban részesüljön, s ezért őt - figyelemmel a magyar tudományos közérdekre - erre a kitüntetésre a legmelegebben ajánlom. Szeged, 1947.október 14. Dr.Bruckner Győző s.k. a szerves kémia ny.r.tanáraa Szegedi Tudományegyetemen.« "Dr.Surányi János 1943-ban megjelent doktori értekezésében a matematikai logika eldöntésproblémája vizsgálatának uj fejezetét nyitotta meg. E munkája - bár a háborús publikációs nehézségek miatt eddig csak magyarul jelenhetett meg - máris "rendkívül nagy feltűnést keltett" szakkörökben, mint londoni külképviseletünk a külügyminisztériuihoz intézett levelében Írja /amelyben a cambridgei egyetem kérésére Surányi cime után érdeklődik/. Ugyané tárgykörből öt dolgozatának kézirata be van küldve az amerikai Journal of Symbolic Logic-nak; egyikről már korrektúrát is olvasott. Mind az öt munka komoly tudományos színvonalat képvisel. Az öt dolgozat közül kettőt közösen irtunk; ezekhez is lényeges gondolatokkal járult hozzájuk. Részletes tanulmányi programm- ' ja az eldöntésprobléma redukciójának bizonyitáselraéleti me^.apozását, a /x/ /Ey/ /z/ praefíxumu formulák kielégíthetőségének vizsgálatát, "klasszikus" matematikai kérdések eldönthetetlenségének vizsgálatát s az analitikus számelmélet újabb kutatásaiba való bekapcsolódását Ígéri. Programmja jól átgondolt; eddigi munkássága alapján remélhető, hogy meg is tudja valósítani.
